MySQL, MariaDB: Fix doc links

This commit is contained in:
Jakub Vrana 2021-02-06 11:15:33 +01:00
parent 5a6e5b4443
commit 97ec60bb5f
2 changed files with 4 additions and 4 deletions

View file

@ -17,14 +17,14 @@ function bodyLoad(version, maria) {
for (var i = 1; i < obj.length; i++) {
obj[i] = obj[i]
.replace(/\.html/, '/')
.replace(/(numeric)(-type-overview)/, '$1-data$2')
.replace(/-type-syntax/, '-data-types')
.replace(/numeric-(data-types)/, '$1-$&')
.replace(/#statvar_.*/, '#$$1')
;
}
}
}
obj[key] = obj[key]
.replace(/dev\.mysql\.com\/doc\/mysql\/en\//, (maria ? 'mariadb.com/kb/en/library/' : '$&')) // MariaDB
obj[key] = (maria ? obj[key].replace(/dev\.mysql\.com\/doc\/mysql\/en\//, 'mariadb.com/kb/en/library/') : obj[key]) // MariaDB
.replace(/\/doc\/mysql/, '/doc/refman/' + version) // MySQL
.replace(/\/docs\/current/, '/docs/' + version) // PostgreSQL
;

2
externals/jush vendored

@ -1 +1 @@
Subproject commit 408b15bb2779af1fe85ed3b5a5ccee93885f5e05
Subproject commit e728e6457626e1b83374f89651cd1a623c001baf