diff options
author | Giovanni Giacobbi <giovanni@giacobbi.net> | 2020-09-29 00:43:23 +0200 |
---|---|---|
committer | Nikita Popov <nikita.ppv@gmail.com> | 2020-09-29 10:47:09 +0200 |
commit | 205556c1913e8774c037f9335a908c328eabc56e (patch) | |
tree | f36afb1c34a680ab608f323e92003709ac10eff0 /ext/reflection/php_reflection.c | |
parent | e5b045e6b6d9a9ee24eea4a7cc354557a8b1c483 (diff) | |
download | php-git-205556c1913e8774c037f9335a908c328eabc56e.tar.gz |
Synchronize php.ini-development and php.ini-production
Closes GH-6231.
Diffstat (limited to 'ext/reflection/php_reflection.c')
0 files changed, 0 insertions, 0 deletions