Extension:MirrorTools/mirrorbot defaults.php

A defaults file might look like this: