mirror of
https://github.com/php/php-src.git
synced 2026-03-24 00:02:20 +01:00
These constants were added by 6ed1819bf4 but they are not used anymore.
They are undocumented which is why I've stumbled upon this.
close GH-18358