diff options
| author | Nikita Popov <nikita.ppv@gmail.com> | 2020-09-21 15:22:47 +0200 |
|---|---|---|
| committer | Nikita Popov <nikita.ppv@gmail.com> | 2020-09-21 15:33:39 +0200 |
| commit | 6f76817f023b9659697f152243cda7bcece3bb77 (patch) | |
| tree | a6038094ad5843f72743008ad908c4f7a2680d57 /main/php_ini.c | |
| parent | e55f0c796c05bf3e52b77902a61b34f2241609af (diff) | |
| download | php-git-6f76817f023b9659697f152243cda7bcece3bb77.tar.gz | |
Remove dead code
The "if ever" here is the relevant bit...
Diffstat (limited to 'main/php_ini.c')
0 files changed, 0 insertions, 0 deletions