Add missing function to compile.php

diff --git a/compile.php b/compile.php
index 9785abff615e860db63bf66a6df1d40f1f648314..4496047bc998b87dfeb0f3f154f436cb6465a3db 100755 (executable)
--- a/compile.php
+++ b/compile.php
@@ -304,6 +304,10 @@ function min_version() {
        return true;
 }
 
+function number_type() {
+       return '';
+}
+
 $project = "adminer";
 if ($_SERVER["argv"][1] == "editor") {
        $project = "editor";