From 7166e630329f4b688a3d9b6a099aa3d957bf0589 Mon Sep 17 00:00:00 2001
From: Benjamin Renard <brenard@easter-eggs.com>
Date: Wed, 1 Mar 2023 19:07:50 +0100
Subject: [PATCH] Config: add traces in ini_set()

---
 src/Config.php | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/src/Config.php b/src/Config.php
index 93d02d5..60d3f04 100644
--- a/src/Config.php
+++ b/src/Config.php
@@ -236,8 +236,12 @@ Class Config {
    * @return void
    */
   public static function ini_set($option, $value) {
+    Log :: trace('Set PHP INI option "%s" to "%s"', $option, $value);
     if (ini_set($option, $value) === false)
-      Log::warning('Fail to set INI options "%s" to "%s"', $option, $value);
+      Log::warning('Fail to set PHP INI option "%s" to "%s"', $option, $value);
+    Log :: trace(
+      'PHP INI option "%s" after setting it to "%s": "%s"',
+      $option, $value, vardump(ini_get($option)));
   }
 
 }