From cf835515b1b3c4b71e01108cf59cb7bc00f13f1e Mon Sep 17 00:00:00 2001
From: Jakub Vrana <jakub@vrana.cz>
Date: Wed, 26 Feb 2025 16:15:55 +0100
Subject: [PATCH] Support compiling Elastic driver

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

diff --git a/compile.php b/compile.php
index 80b18969..ca9a8f54 100755
--- a/compile.php
+++ b/compile.php
@@ -371,6 +371,10 @@ function number_type() {
 	return '';
 }
 
+function ini_bool() {
+	return true;
+}
+
 $project = "adminer";
 if ($_SERVER["argv"][1] == "editor") {
 	$project = "editor";
-- 
2.39.5