From b9ad864b75e13b9d2f8ff6d1644599d53e83408d Mon Sep 17 00:00:00 2001
From: Jakub Vrana <jakub@vrana.cz>
Date: Thu, 1 Feb 2018 13:57:46 +0100
Subject: [PATCH] Delete unused variable

---
 compile.php | 1 -
 1 file changed, 1 deletion(-)

diff --git a/compile.php b/compile.php
index a455b01d..9785abff 100755
--- a/compile.php
+++ b/compile.php
@@ -354,7 +354,6 @@ $features = array("call" => "routine", "dump", "event", "privileges", "procedure
 $lang_ids = array(); // global variable simplifies usage in a callback function
 $file = file_get_contents(dirname(__FILE__) . "/$project/index.php");
 if ($driver) {
-	$connection = (object) array("server_info" => 5.1); // MySQL support is version specific
 	$_GET[$driver] = true; // to load the driver
 	include_once dirname(__FILE__) . "/adminer/drivers/$driver.inc.php";
 	foreach ($features as $key => $feature) {