Fix MariaDB link to numeric types

This commit is contained in:
Jakub Vrana 2018-10-27 20:13:55 +02:00
parent 5bebb439a1
commit 83a0776e8d

View file

@ -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
;
}
}
}