Extension:MirrorTools/mirrorbot defaults.php

mirrorbot_defaults contains the configuration settings for the MirrorBot.