From e21d344cfd533dec2f62a56f53a26ccc1522fee8 Mon Sep 17 00:00:00 2001
From: markjcrane <markjcrane@gmail.com>
Date: Thu, 2 Jun 2016 09:54:47 -0600
Subject: [PATCH] Check for the adminer permission to increase security.

---
 app/adminer/adminer.php | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/app/adminer/adminer.php b/app/adminer/adminer.php
index 647c458437..6e0650959f 100644
--- a/app/adminer/adminer.php
+++ b/app/adminer/adminer.php
@@ -1,9 +1,19 @@
 <?php
+
 //includes
 	include "root.php";
 	require_once "resources/require.php";
 	require_once "resources/check_auth.php";
 
+//check permission
+	if (permission_exists('adminer')) {
+		//access granted
+	}
+	else {
+		echo "access denied";
+		exit;
+	}
+
 /** Adminer - Compact database management
 * @link http://www.adminer.org/
 * @author Jakub Vrana, http://www.vrana.cz/