16,874
个编辑
“User:Bhsd/vector.js”的版本间差异
// 使用Wikiplus小工具快速编辑
小 （// 使用Wikiplus小工具快速编辑） |
（// 使用Wikiplus小工具快速编辑） |
||
| （未显示同一用户的32个中间版本） | |||
|
noRedirectIfConvertedTitleExists: true,
plugins: [
'toolbox.js',
'edit-any-page.js',
'fix-double-entrance.js'
],
$.getScript('http://127.0.0.1:1005/InPageEdit.js');
}
mw.libs.wphl = {cmVersion: '2.12.3'};
// 应用mediawiki.util对页面名称进行转义
$.when($.ready, mw.loader.using( 'mediawiki.util' )).then(function() {
}
else if (action == 'view' && mw.config.get('wgIsArticle') && !mw.util.getParamValue('dev')) {
mw.loader.load('//cdn.jsdelivr.net/npm/wikiplus-highlight
}
| |||