MediaWiki:Gadget-DoubleRedirects.js

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