From 133c53f24ac84944c65265a87c312565c66aaad4 Mon Sep 17 00:00:00 2001
From: adminerevo <adminerevo@dev1.adminerevo.org>
Date: Fri, 1 Dec 2023 22:54:08 +0100
Subject: [PATCH] Added function ini_bool() to compile.php to prevent warning
 in some compilations

---
 compile.php | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/compile.php b/compile.php
index 43769bd8..72b7023c 100755
--- a/compile.php
+++ b/compile.php
@@ -340,6 +340,12 @@ function number_type() {
 	return '';
 }
 
+function ini_bool($ini) {
+	$val = ini_get($ini);
+	return (preg_match('~^(on|true|yes)$~i', $val) || (int) $val); // boolean values set by php_value are strings
+}
+
+
 $project = "adminer";
 if ($_SERVER["argv"][1] == "editor") {
 	$project = "editor";