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

添加12字节 、​ 2020年9月18日 (星期五)
// Edit via Wikiplus
(// Edit via Wikiplus)
(// Edit via Wikiplus)
第34行: 第34行:
/* 高亮开始 */
/* 高亮开始 */
function rep(lang){
function rep(lang){
     var h = document.querySelector(".mw-highlight").innerHTML;
     var h = document.querySelector(".mw-body-content").innerHTML;
     document.querySelector(".mw-highlight").innerHTML = h.replace("<pre>", "<pre><code class='language-" + lang + "'>");
     document.querySelector(".mw-body-content").innerHTML = h.replace("<pre>", "<pre><code class='language-" + lang + "'>");
     $('pre').addClass("line-numbers");
     $('pre').addClass("line-numbers");
     var h = document.querySelector(".mw-highlight").innerHTML;
     var h = document.querySelector(".mw-body-content").innerHTML;
     document.querySelector(".mw-highlight").innerHTML = h.replace("</pre>", "</code></pre>");
     document.querySelector(".mw-body-content").innerHTML = h.replace("</pre>", "</code></pre>");
}
}


3,040

个编辑