From 93686eab6591f9980ed05ecce5c8815d3e8c9c10 Mon Sep 17 00:00:00 2001
From: Jakub Vrana <jakub@vrana.cz>
Date: Mon, 29 Jan 2018 18:33:26 +0100
Subject: [PATCH] Save bytes

---
 adminer/drivers/mysql.inc.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/adminer/drivers/mysql.inc.php b/adminer/drivers/mysql.inc.php
index 354b08e7..4e952731 100644
--- a/adminer/drivers/mysql.inc.php
+++ b/adminer/drivers/mysql.inc.php
@@ -466,7 +466,7 @@ if (!defined("DRIVER")) {
 	function fk_support($table_status) {
 		global $connection;
 		return preg_match('~InnoDB|IBMDB2I~i', $table_status["Engine"])
-			|| (preg_match('~NDB~i', $table_status["Engine"]) && version_compare($connection->server_info, '5.6') >= 0);
+			|| (preg_match('~NDB~i', $table_status["Engine"]) && $connection->server_info >= 5.6);
 	}
 
 	/** Get information about fields