diff options
| author | Dmitry Stogov <dmitry@zend.com> | 2019-07-17 14:03:48 +0300 |
|---|---|---|
| committer | Dmitry Stogov <dmitry@zend.com> | 2019-07-17 14:03:48 +0300 |
| commit | b30e4a5aa62f57ef51af75e51260802999f870ab (patch) | |
| tree | aad589ccccde2fbd34da8e5f776b145c397027e2 /php.ini-development | |
| parent | c2c5c9a973559b7ba9f84337c5f8078e59e98a91 (diff) | |
| download | php-git-b30e4a5aa62f57ef51af75e51260802999f870ab.tar.gz | |
Avoid extra specialization for cold opcodes
Diffstat (limited to 'php.ini-development')
0 files changed, 0 insertions, 0 deletions