Add min_version to compile.php

diff --git a/compile.php b/compile.php
index 6a66cacd94645fac8759c7a808fe70962cb84be3..a455b01db74a4dae40c628315e4220ad4d0ac241 100755 (executable)
--- a/compile.php
+++ b/compile.php
@@ -300,6 +300,10 @@ function compile_file($match) {
        return '"' . add_quo_slashes($file) . '"';
 }
 
+function min_version() {
+       return true;
+}
+
 $project = "adminer";
 if ($_SERVER["argv"][1] == "editor") {
        $project = "editor";