MediaWiki:Gadget-extra-toolbar-buttons-core.js: Difference between revisions
Content deleted Content added
proper formatting |
Replace deprecated wikibits functions (missed one) |
||
Line 138:
mw.util.addCSS('div.edittools-text { display:none; }');
// needs to be deferred until the DOM has fully loaded
var placeholder = document.getElementById("editpage-specialchars");
|