MediaWiki:Double-redirect-fixed-maintenance

Automatically fixing double redirect from $1 to $2 in a maintenance job