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

添加12字节 、​ 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;
     alert(h);
     alert(typeof(h));
     h = h.replace("<pre>", "<pre><code>");
     h = h.replace("<pre>", "<pre><code>");
     h = h.replace("</pre>", "</code></pre>");
     h = h.replace("</pre>", "</code></pre>");
}
}
3,040

个编辑