“MediaWiki:Gadget-inspect.js”的版本间差异

添加6字节 、​ 2021年1月10日 (日) 07:21
无编辑摘要
if (prefix === "" || prefix.startsWith('#')) { return; }
if (ns == '0' && prefix.includes('#')) {
const capture = prefix.match(/^(.+)#(.*)$/);
prefix = capture[2];
(title == capture[1] ? Promise.resolve() : mw.timedQuery(api, {action: 'parse', page: titlecapture[1],
prop: 'sections'}, wgULS('段落标题', '段落標題')).then(r => {
title = capture[1];
16,874

个编辑