Extension:MirrorTools/Move and mirrormove

From mediawiki.org