mirror of
https://github.com/php/php-src.git
synced 2026-04-18 21:41:22 +02:00
This should also fix #6538. # This code gets really hairy, I do not like it, # but it's the only working thing I could come with. # If original creator reviews and cleans it up, it'd be great