1
0
mirror of https://github.com/php/web-php.git synced 2026-03-23 23:02:13 +01:00
Closes GH-496.
This commit is contained in:
Fabien Villepinte
2022-02-21 10:45:53 +01:00
committed by GitHub
parent 2f4fcfb23f
commit 64b9906741

View File

@@ -146,6 +146,7 @@ function is_known_ini (string $ini): ?string {
'open-basedir' => 'ini.core.php#ini.open-basedir',
'disable-functions' => 'ini.core.php#ini.disable-functions',
'disable-classes' => 'ini.core.php#ini.disable-classes',
'zend.assertions' => 'ini.core.php#ini.zend.assertions',
'syntax-highlighting' => 'misc.configuration.php#ini.syntax-highlighting',
'ignore-user-abort' => 'misc.configuration.php#ini.ignore-user-abort',
'realpath-cache-size' => 'ini.core.php#ini.realpath-cache-size',