mirror of
https://github.com/php/php-src.git
synced 2026-04-17 21:11:02 +02:00
It's somewhat ambiguous what exactly the correct behavior is supposed to be, I'm just picking something more or less reasonable here.
691 B
691 B