mirror of
https://github.com/php/php-src.git
synced 2026-04-19 22:11:12 +02:00
This reverts commit ef6adb4e27.
Per Ondrej's comment, this is already being used by BetterReflection
adaptors, ugh.
57 KiB
57 KiB