“MediaWiki:Gadget-code-prettify.js”的版本间差异

if (mw.config.get( 'wgNamespaceNumber' ) == 274) { lines = lines.slice(1, -1); }

return $('<ol>', {html: lines.map(function(ele, i) {

})});

});