From: Jakub Vrana <jakub@vrana.cz>
Date: Mon, 22 Jan 2018 10:51:07 +0000 (+0100)
Subject: Do not warn about MySQL specific functions
X-Git-Tag: v4.5.0~43
X-Git-Url: https://git.joonet.de/?a=commitdiff_plain;h=6a95b7116421559e6ced1ecc55c2ffd43a222a0c;p=adminer.git

Do not warn about MySQL specific functions
---

diff --git a/compile.php b/compile.php
index 6fecd54d..6a66cacd 100755
--- a/compile.php
+++ b/compile.php
@@ -327,10 +327,12 @@ if ($_SERVER["argv"][1]) {
 }
 
 // check function definition in drivers
-$filename = dirname(__FILE__) . "/adminer/drivers/mysql.inc.php";
-preg_match_all('~\\bfunction ([^(]+)~', file_get_contents($filename), $matches); //! respect context (extension, class)
+$file = file_get_contents(dirname(__FILE__) . "/adminer/drivers/mysql.inc.php");
+$file = preg_replace('~( *)class Min_Driver.*}~sU', '', $file);
+preg_match_all('~\\bfunction ([^(]+)~', $file, $matches); //! respect context (extension, class)
 $functions = array_combine($matches[1], $matches[0]);
-unset($functions["__destruct"], $functions["Min_DB"], $functions["Min_Result"], $functions["Min_Driver"]);
+//! do not warn about functions without declared support()
+unset($functions["__construct"], $functions["__destruct"], $functions["set_charset"]);
 foreach (glob(dirname(__FILE__) . "/adminer/drivers/" . ($driver ? $driver : "*") . ".inc.php") as $filename) {
 	if ($filename != "mysql.inc.php") {
 		$file = file_get_contents($filename);