4 ms·
For others who were curious, I tracked down that PHP pull request: https://github.com/php/php-src/pull/132 https://github.com/php/php-src/pull/132
by yahelc 14y ago
For others who were curious, I tracked down that PHP pull request: https://github.com/php/php-src/pull/132 https://github.com/php/php-src/pull/132
- TazeTSchnitzel 14y agoThat's the one!