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

添加5字节 、​ 2020年8月31日 (星期一)
// Edit via Wikiplus
无编辑摘要
(// Edit via Wikiplus)
第32行: 第32行:
function rep(lang){
function rep(lang){
     var h = document.querySelector(".mw-highlight").innerHTML;
     var h = document.querySelector(".mw-highlight").innerHTML;
     document.querySelector(".mw-highlight").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-highlight").innerHTML;
     var h = document.querySelector(".mw-highlight").innerHTML;
3,040

个编辑