From 8a75cbc630c24a3c11d8212dcbc37d5b7cc6e36c Mon Sep 17 00:00:00 2001
From: Jakub Vrana <jakub@vrana.cz>
Date: Wed, 7 Feb 2018 12:49:53 +0100
Subject: [PATCH] Add version() to use in plugins

---
 adminer/include/functions.inc.php | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/adminer/include/functions.inc.php b/adminer/include/functions.inc.php
index 7b29f6d1..588e8abc 100644
--- 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