From 64b9906741d34cf68c8c97ee153b702ab74fa5bd Mon Sep 17 00:00:00 2001 From: Fabien Villepinte Date: Mon, 21 Feb 2022 10:45:53 +0100 Subject: [PATCH] Fix dead link in php.ini: https://php.net/zend.assertions Closes GH-496. --- include/errors.inc | 1 + 1 file changed, 1 insertion(+) diff --git a/include/errors.inc b/include/errors.inc index bfdada333..826203932 100644 --- a/include/errors.inc +++ b/include/errors.inc @@ -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',