MediaWiki:Double-redirect-fixed-move

$1 has been renamed. It now redirects to $2.