mirror of
https://github.com/php/php-src.git
synced 2026-04-21 15:08:16 +02:00
3677db6386
This change was originall only done for 'master'. Xdebug bundles this file as it requires it, but PHP 7.2/7.3 don't have it bundled. By doing "phpize" with master, it updates the file introducing a local diff. By fixing it in older versions, that problem goes away.