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

用户:QWERTY770/common.js (查看源代码)

删除48字节、 2020年8月31日 (星期一)

小

无编辑摘要

3,040

个编辑

@@ 第32行： / 第32行： @@
 if (s.indexOf("js") != -1){
      var h = document.getElementById("mw-content-text").innerHTML;
-     document.getElementById("mw-content-text").innerHTML = h.replace("&lt;pre&gt;", "&lt;pre&gt;&lt;code&gt;");
+     document.getElementById("mw-content-text").innerHTML = h.replace("<pre>", "<pre><code>");
-     document.getElementById("mw-content-text").innerHTML = h.replace("&lt;&#47;pre&gt;", "&lt;&#47;code&gt;&lt;&#47;pre&gt;");
+     document.getElementById("mw-content-text").innerHTML = h.replace("</pre>", "</code></pre>");
 }