MediaWiki:Addon-loadprism.js:修订间差异

删除43字节 、​ 2020年11月25日 (星期三)
.
(创建页面,内容为“document.addEventListener('readystatechange', function () { if (document.readyState != 'complete') { return } var thisHref = window.location.href, preList =…”)
 
(.)
第1行: 第1行:
document.addEventListener('readystatechange', function () {
(function () {
     if (document.readyState != 'complete') { return }
     if (document.readyState != 'complete') { return }
     var thisHref = window.location.href, preList = document.querySelectorAll('pre:not([done])'), el, cs = console
     var thisHref = window.location.href, preList = document.querySelectorAll('pre:not([done])'), el, cs = console
第60行: 第60行:
         document.head.appendChild(s)
         document.head.appendChild(s)
     }
     }
})
})()