MediaWiki:Gadget-DoubleRedirects.js