From e299e9d82db3af05a5249030d854f81d1f0e77e2 Mon Sep 17 00:00:00 2001 From: Jakub Vrana Date: Thu, 8 Feb 2018 23:47:16 +0100 Subject: [PATCH] MariaDB: Links to documentation in syntax highlighting --- adminer/include/adminer.inc.php | 3 ++- adminer/static/editing.js | 9 ++++++++- externals/jush | 2 +- 3 files changed, 11 insertions(+), 3 deletions(-) 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('');