From 83a0776e8d2a441dd5844111f96dc73dc0dcf0a9 Mon Sep 17 00:00:00 2001
From: Jakub Vrana <jakub@vrana.cz>
Date: Sat, 27 Oct 2018 20:13:55 +0200
Subject: [PATCH] Fix MariaDB link to numeric types

---
 adminer/static/editing.js | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/adminer/static/editing.js b/adminer/static/editing.js
index 8ef5a93d..f4e7ac38 100644
--- a/adminer/static/editing.js
+++ b/adminer/static/editing.js
@@ -15,7 +15,10 @@ function bodyLoad(version, maria) {
 					key = 0;
 					if (maria) {
 						for (var i = 1; i < obj.length; i++) {
-							obj[i] = obj[i].replace(/\.html/, '/');
+							obj[i] = obj[i]
+								.replace(/\.html/, '/')
+								.replace(/(numeric)(-type-overview)/, (maria ? '$1-data$2' : '$&')) // MariaDB
+							;
 						}
 					}
 				}