16,874
个编辑
“MediaWiki:Gadget-site-shared.js”的版本间差异
小
无编辑摘要
小 |
小 |
||
|
if (pagename.endsWith( '/' ) && mw.config.get( 'wgCanonicalSpecialPageName' ) != 'Prefixindex') {
const uri = new mw.Uri();
uri.query.title = pagename.slice(0, -1); // 原本title可能不在query参数里
location.replace(
}
| |||