MediaWiki:Common.js:修订间差异

添加187字节 、​ 2022年8月27日 (星期六)
无编辑摘要
无编辑摘要
无编辑摘要
第21行: 第21行:
     /**用户名, 最好使用typeof来判断 */
     /**用户名, 最好使用typeof来判断 */
     var userName = mwConfigValue.wgUserName;
     var userName = mwConfigValue.wgUserName;
    /**分类 */
    var categories = mwConfigValue.wgCategories;
     /**打印到控制台 */
     /**打印到控制台 */
     var log = function () {
     var log = function () {
第191行: 第193行:
     console.time(prefix + 'CommonJS加载完毕');
     console.time(prefix + 'CommonJS加载完毕');
     main();
     main();
    if (jQuery) {
        console.log("jQuery已加载!")
    } else {
        console.log("jQuery未加载!")
    }
     // 计时完毕
     // 计时完毕
     console.timeEnd(prefix + 'CommonJS加载完毕');
     console.timeEnd(prefix + 'CommonJS加载完毕');
})();
})();