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

2020年11月20日 (五) 07:36的版本

// 直接由ResourceLoader调用，因此不可使用ES6语法
// 引自[[moegirl:mediawiki:gadget-editCount.js]]
"use strict";
$(function() {
    console.log( 'setInterval: 等待移动版贡献项目加载完毕' );
    const timerStart = mw.now(),
        timer = setInterval(function() {
        const contris = $("#pt-mycontris, .mw-ui-icon-minerva-contributions span");
        if (contris.length === 0) { return; }
        clearInterval(timer);
        console.log('End setInterval: 移动版贡献项目加载完毕，用时 ' + (mw.now() - timerStart) + ' ms');
        contris.append(" (" + mw.config.get("wgUserEditCount") + ")");
    }, 200);
});
// [[category:编辑工具]] [[category:需要用户权限的小工具]] [[category:桌面版小工具]] [[category:手机版小工具]] [[category:作为模块的小工具]]
// {{DEFAULTSORT:editCount.js}}