MediaWiki:Gadget-edit-count.js
跳到导航
跳到搜索
注意：这类代码页面在保存之后，您可能需要清除浏览器缓存才能看到所作出的变更的影响。
- 按住
CTRL+SHIFT+DEL 或 ⌘-Shift-R来清除缓存！ - 或尝试在地址栏的地址最后添加代码
?_=1来访问最新页面。 - 你还可以在设置中勾选小工具在页面右上角添加清除缓存按钮！
(function(ele, txt, time, condition){
var s = " (" + mw.config.values.wgUserEditCount + ")";
var hook = document.getElementById("pt-mycontris");
if(!hook)
return "unexpected dom abort mission";
hook.childNodes[0].innerHTML += s;
if(!condition) return;
ele.innerHTML = "";
(function(ele, txt, time){
txt = txt.split("");
var len = txt.length, rate = time/len;
for(var i=0; i<len; i++) setTimeout(function(){ele.innerHTML += txt.shift();}, i*rate);
})(ele, txt, time);
})(document.getElementById("edit_count"), "2018.5.1 / ab9", 400, document.getElementById("8c23b4144bd58c689e192c6ab912a3b75c76f6849977518b8bedefd5e347d67f"));