diff --git a/compile.php b/compile.php
index 9785abff..4496047b 100755
--- 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";