MediaWiki:Gadget-RenameLink.js: Difference between revisions