From d2e48faaf8a8b246d5e2b99d2d59ecdf055ee4b7 Mon Sep 17 00:00:00 2001 From: "Christoph M. Becker" Date: Thu, 5 Jan 2023 11:01:24 +0100 Subject: [PATCH] Remove vld INI settings It makes no sense to list these, if there is no other vld documentation in the manual. --- appendices/ini.list.xml | 24 ------------------------ 1 file changed, 24 deletions(-) diff --git a/appendices/ini.list.xml b/appendices/ini.list.xml index 8eaa847ec1..30c1d79511 100644 --- a/appendices/ini.list.xml +++ b/appendices/ini.list.xml @@ -714,30 +714,6 @@ PHP_INI_PERDIR - - vld.active - "0" - PHP_INI_SYSTEM - - - - vld.execute - "1" - PHP_INI_SYSTEM - Available since vld 0.8.0. - - - vld.skip_append - "0" - PHP_INI_SYSTEM - Available since vld 0.8.0. - - - vld.skip_prepend - "0" - PHP_INI_SYSTEM - Available since vld 0.8.0. - windows.show_crt_warning "0"