16,874
个编辑
“MediaWiki:Gadget-custommenu.js”的版本间差异
小
无编辑摘要
小 |
|||
|
}).then(function(data) {
const api = new mw.Api(),
dynamicList = data.dynamic ? [] : data.dynamic.map(function(query) {
if (query.type == 'prefixindex') {
return mw.timedQuery(api, {list: 'allpages', apprefix: query.prefix, apnamespace: query.ns})
| |||