mirror/php-adminer
1
0
Fork 0
mirror of https://github.com/vrana/adminer.git synced 2025-08-08 07:36:44 +02:00
Code Issues Releases Wiki Activity

Support compiling Elastic driver

Browse Source
This commit is contained in:
Jakub Vrana
2025-02-26 16:15:55 +01:00
parent c38b967fc4
commit cf835515b1
1 changed files with 4 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
compile.php
View File

@@ -371,6 +371,10 @@ function number_type() {
return ''; return '';
} }
function ini_bool() {
return true;
}
$project = "adminer"; $project = "adminer";
if ($_SERVER["argv"][1] == "editor") { if ($_SERVER["argv"][1] == "editor") {
$project = "editor"; $project = "editor";