“User:Bhsd/tool.js”的版本间差异

添加89字节 、​ 2020年11月22日 (日) 03:55
无编辑摘要
console.log( `Hook: codeEditor.configure after ${mw.now() - timerStart} ms`);
});
mw.hook( 'code.prettify' ).add(()$content => {
console.log( `Hook: code.prettify after ${mw.now() - timerStart} ms`);
mw.gadgets = mw.gadgets || {};
mw.gadgets.codePrettify = $content;
});
}) ();
16,874

个编辑