MediaWiki:Gadget-DoubleRedirects.js

//  //#REDIRECT MediaWiki:Gadget-SpecialPages.js/DoubleRedirects.js importScript( 'MediaWiki:Gadget-SpecialPages.js/DoubleRedirects.js' ); //