用户:QWERTY770/common.js:修订间差异

删除21字节 、​ 2020年8月31日 (星期一)
// Edit via Wikiplus
(// Edit via Wikiplus)
(// Edit via Wikiplus)
第31行: 第31行:
var s = window.location.href;
var s = window.location.href;
if (s.indexOf("js") != -1){
if (s.indexOf("js") != -1){
     var h = document.getElementById("mw-content-text").innerHTML;
     var h = document.getElementByTagName("pre").innerHTML;
     alert(h.replace("<pre>", "<pre><code>"));
     alert(h.replace("<pre>", "<pre><code>"));
     document.getElementById("mw-content-text").innerHTML = h.replace("<pre>", "<pre><code>");
     document.getElementByTagName("pre").innerHTML = h.replace("<pre>", "<pre><code>");
     document.getElementById("mw-content-text").innerHTML = h.replace("</pre>", "</code></pre>");
     document.getElementByTagName("pre").innerHTML = h.replace("</pre>", "</code></pre>");
}
}
3,040

个编辑