mirror of
https://github.com/php/php-src.git
synced 2026-04-29 19:23:22 +02:00
e0b947a8da
Another change as per accepted [namespaces in bundled extensions RFC](https://wiki.php.net/rfc/namespaces_in_bundled_extensions). Related: #6925, #5945, #6960