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

添加47字节 、​ 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){
     html = html.replace("<pre>", "<pre><code>")
     var h = document.getElementsByTagName('html')[0].innerHTML;
     html = html.replace("</pre>", "</code></pre>")
    h = h.("<pre>", "<pre><code>");
     h = h.replace("</pre>", "</code></pre>");
}
}
3,040

个编辑