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

删除12字节 、​ 2020年9月18日 (星期五)
撤销QWERTY 52 38讨论)的版本20055
(// Edit via Wikiplus)
(撤销QWERTY 52 38讨论)的版本20055)
标签撤销
第34行: 第34行:
/* 高亮开始 */
/* 高亮开始 */
function rep(lang){
function rep(lang){
     var h = document.querySelector(".mw-body-content").innerHTML;
     var h = document.querySelector(".mw-highlight").innerHTML;
     document.querySelector(".mw-body-content").innerHTML = h.replace("<pre>", "<pre><code class='language-" + lang + "'>");
     document.querySelector(".mw-highlight").innerHTML = h.replace("<pre>", "<pre><code class='language-" + lang + "'>");
     $('pre').addClass("line-numbers");
     $('pre').addClass("line-numbers");
     var h = document.querySelector(".mw-body-content").innerHTML;
     var h = document.querySelector(".mw-highlight").innerHTML;
     document.querySelector(".mw-body-content").innerHTML = h.replace("</pre>", "</code></pre>");
     document.querySelector(".mw-highlight").innerHTML = h.replace("</pre>", "</code></pre>");
}
}


3,040

个编辑