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

添加58字节 、​ 2020年8月31日 (星期一)
无编辑摘要
无编辑摘要
无编辑摘要
第32行: 第32行:
if (s.indexOf("js") != -1){
if (s.indexOf("js") != -1){
     var h = document.getElementById("mw-content-text").innerHTML;
     var h = document.getElementById("mw-content-text").innerHTML;
     h = h.replace("<pre>", "<pre><code>");
    alert(h);
     h = h.replace("</pre>", "</code></pre>");
     h = h.replace("&lt;pre&gt;", "&lt;pre&gt;&lt;code&gt;");
     h = h.replace("&lt;&#47;pre&gt;", "&lt;&#47;code&gt;&lt;/pre&gt;");
}
}
3,040

个编辑