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

来自BanG Dream! Wiki
跳到导航 跳到搜索
 
(导入1个版本)
 
(没有差异)

2022年4月7日 (四) 20:19的最新版本

//<nowiki>
// 由ResourceLoader直接调用,不可使用ES6语法
/**
 * @Function: 因为[[mediawiki:gadget-inspect.js]]体量较大,所以借助这个小工具视需要加载,同时充分利用浏览器缓存
 * @Dependencies: user, ext.gadget.SettingsDialog
 * @Author: [[User:Bhsd]]
 */
"use strict";
/*global wgULS*/
const gadgets = mw.gadgets || {},
    inspect = gadgets.inspect || {},
    rule = inspect.rule,
    page = mw.config.get( 'wgTitle' );
// 页面已存在、不是重定向、阅读模式、最新版本
if (mw.config.get( 'wgArticleId' ) > 0 && !mw.config.get('wgIsRedirect') && mw.config.get('wgAction') == 'view' &&
    mw.config.get( 'wgRevisionId' ) == mw.config.get( 'wgCurRevisionId' ) && !page.startsWith( '首页/当年今日/' ) &&
    !['Gadgets-definition', '首页/近期动态', '首页/放送预告', '首页/熟肉公告'].includes( page ) &&
    (rule === undefined ? true : rule)) {
    mw.messages.set( wgULS({
        'gadget-in-label': '页面/文本对比查看器', 'gadget-in-help': 'Help:小工具/页面文本对比查看器',
        'gadget-in-charinsert': '插件:快速插入工具', 'gadget-in-backup': '插件:编辑内容备份'
    }, {
        'gadget-in-label': '頁面/文本對比察看器', 'gadget-in-help': 'Help:小工具/頁面文本對比查看器',
        'gadget-in-charinsert': '插件:快速插入工具', 'gadget-in-backup': '插件:編輯內容備份'
    }) );
    mw.gadgets = mw.gadgets || {};
    mw.gadgets.inspect = $.extend(mw.gadgets.inspect, mw.storage.getObject( 'gadget-inspect' ));
    mw.loader.using(['mediawiki.api', 'oojs-ui.styles.icons-movement']).then(function() {
        mw.loader.load( mw.util.getUrl('mediawiki:gadget-inspect.js', {action: 'raw', ctype: 'text/javascript'}) );
        /*mw.settingsDialog.addTab({name: 'inspect', label: mw.msg('gadget-in-label'), help: mw.msg('gadget-in-help'),
            checkboxes: [{data: 'charinsert', label: mw.msg('gadget-in-charinsert'), default: isGadget('charinsert')},
            {data: 'backup', label: mw.msg('gadget-in-backup'), default: isGadget('contentBackup')}] });*/
    });
}
//</nowiki>
// [[category:小工具加载器]] [[category:桌面版小工具]] [[category:维护工具]] [[category:需要自确用户权限的小工具]]
// {{DEFAULTSORT:inspect-loader.js}}