Difference between revisions of "MediaWiki:Gadget-addsection-plus.js"