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

var lines = $this.html().replace(/\n$/, '').split('\n');

if (mw.config.get( 'wgNamespaceNumber' ) == 274) { lines = lines.slice(1, -1); } // 扔掉首尾的Wikitext注释

html: lines.map(function(ele, i) { return $('<li>', {html: ele, id: 'L' + (i + 1)}); })

}).css('padding-left', lines.length.toString().length + 2.5 + 'ch');