diff options
author | Dmitry Stogov <dmitry@zend.com> | 2020-03-14 01:29:46 +0300 |
---|---|---|
committer | Dmitry Stogov <dmitry@zend.com> | 2020-03-14 01:29:46 +0300 |
commit | 9a8f735c576a888e0c23425f9e198ef39821de69 (patch) | |
tree | cbbdcb19bda30fb426027ac4f0b821a5e830c758 /php.ini-development | |
parent | 29bf7902b3b96cff1e9ee4e6680d92fc264f04e5 (diff) | |
download | php-git-9a8f735c576a888e0c23425f9e198ef39821de69.tar.gz |
Emit warning about type narrowing for tracing JIT as well
Diffstat (limited to 'php.ini-development')
0 files changed, 0 insertions, 0 deletions