From 4417a8b22086dedbf928b9e0e5afb30c5416341f Mon Sep 17 00:00:00 2001
From: Jakub Vrana <jakub@vrana.cz>
Date: Tue, 6 Feb 2018 15:52:48 +0100
Subject: [PATCH] Add missing function to compile.php

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

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";