[kichik]

I was thinking the same so I checked and they removed the duplication:

https://github.com/php/php-src/commit/3d9c02364db62a6d8e2794...

They also fixed the whitespace handling that let something like "RandomHeader: hello host:8080" mistakenly set the flag.

https://github.com/php/php-src/commit/56cdbe63c24b86c2f1d60b...

[pacaro]

That looks so much better to me. The cognitive load is significantly reduced