MediaWiki:Gadget-libSettings.js: Difference between revisions