Otherwise, it looks like it will call strstr() one extra time, even though you may have already determined that the specific header is present.
[1] https://github.com/php/php-src/commit/3d9c02364db62a6d8e2794...
Otherwise, it looks like it will call strstr() one extra time, even though you may have already determined that the specific header is present.