MediaWiki:Double-redirect-fixer

MarioWiki Bot