The fix for this bug has been committed. Since the websites are not directly
updated from the repository, the fix might need some time to spread
across the globe to all mirror sites, including PHP.net itself.

Thank you for the report, and for helping us make PHP.net better.

This should be fixed by <a href="http://git.php.net/?p=web/php.git;a=commitdiff;h=426758701bcfa182ef5214eacb775a5c2584c1fb" title="http://git.php.net/?p=web/php.git;a=commitdiff;h=426758701bcfa182ef5214eacb775a5c2584c1fb">http://git.php.net/?p=web/php.git;a=commitdiff;h=426758701bcfa182ef5214e...</a>