diff options
author | Nikita Popov <nikita.ppv@gmail.com> | 2019-02-07 11:10:12 +0100 |
---|---|---|
committer | Joe Watkins <krakjoe@php.net> | 2019-02-07 12:07:25 +0100 |
commit | c32da66e129897f4f103ecc6319332f160ee52ea (patch) | |
tree | 7d80fc3256f04c86936e92549dc644b79d79395e /ext/reflection/php_reflection.c | |
parent | a093de8cc12a6671c9b13d0b6d899eca74065fba (diff) | |
download | php-git-c32da66e129897f4f103ecc6319332f160ee52ea.tar.gz |
Remove --disable-opcache-filecache option
This is no longer an experimental feature, and we have the ability
to control this at runtime via an ini setting.
Diffstat (limited to 'ext/reflection/php_reflection.c')
0 files changed, 0 insertions, 0 deletions