From: Jakub Vrana Date: Thu, 8 Feb 2018 22:47:16 +0000 (+0100) Subject: MariaDB: Links to documentation in syntax highlighting X-Git-Tag: v4.6.1~2 X-Git-Url: https://git.joonet.de/?a=commitdiff_plain;h=e299e9d82db3af05a5249030d854f81d1f0e77e2;p=adminer.git MariaDB: Links to documentation in syntax highlighting --- diff --git a/adminer/include/adminer.inc.php b/adminer/include/adminer.inc.php index a234cf3c..68dad1e4 100644 --- a/adminer/include/adminer.inc.php +++ b/adminer/include/adminer.inc.php @@ -960,8 +960,9 @@ class Adminer { echo "jushLinks.$val = jushLinks.$jush;\n"; } } + $server_info = $connection->server_info; ?> -bodyLoad('server_info) : ""); ?>'); +bodyLoad('');