Add version() to use in plugins

diff --git a/adminer/include/functions.inc.php b/adminer/include/functions.inc.php
index 7b29f6d14d2a05040f729e632cf0bdb0cbe5e306..588e8abc738be8a23af57f1678576e346e75f6a3 100644 (file)
--- a/adminer/include/functions.inc.php
+++ b/adminer/include/functions.inc.php
@@ -16,6 +16,14 @@ function adminer() {
        return $adminer;
 }
 
+/** Get Adminer version
+* @return string
+*/
+function version() {
+       global $VERSION;
+       return $VERSION;
+}
+
 /** Unescape database identifier
 * @param string text inside ``
 * @return string