From ed4455d3097ffed0e3f46c8fbd420af1cd7e47c3 Mon Sep 17 00:00:00 2001 From: Remi Collet Date: Tue, 13 Aug 2024 16:54:50 +0200 Subject: [PATCH] cleanup doc for deprecated options --- php.ini-development | 10 ---------- php.ini-production | 10 ---------- 2 files changed, 20 deletions(-) diff --git a/php.ini-development b/php.ini-development index 6ec2b5eacfa0d..6f6624b1dd26b 100644 --- a/php.ini-development +++ b/php.ini-development @@ -139,16 +139,6 @@ ; Development Value: 1000 ; Production Value: 1000 -; session.sid_bits_per_character -; Default Value: 4 -; Development Value: 5 -; Production Value: 5 - -; session.sid_length -; Default Value: 32 -; Development Value: 26 -; Production Value: 26 - ; short_open_tag ; Default Value: On ; Development Value: Off diff --git a/php.ini-production b/php.ini-production index 9635a8dd1702b..fa1356e2c24a5 100644 --- a/php.ini-production +++ b/php.ini-production @@ -139,16 +139,6 @@ ; Development Value: 1000 ; Production Value: 1000 -; session.sid_bits_per_character -; Default Value: 4 -; Development Value: 5 -; Production Value: 5 - -; session.sid_length -; Default Value: 32 -; Development Value: 26 -; Production Value: 26 - ; short_open_tag ; Default Value: On ; Development Value: Off