MediaWiki:Double-redirect-fixer: Difference between revisions