Extension:MirrorTools/dropMirrorBot.php

dropMirrorBot.php is simply a script to drop the mirrorbot database.