Last modified: 2014-07-15 16:46:41 UTC
Please add MirrorTools as a MediaWiki extension in Bugzilla: * [[mw:Extension:MirrorTools]] * https://github.com/Inclumedia/MirrorTools Related bot: * https://github.com/Inclumedia/MirrorBot Since the whole point of MirrorBot is to interface with MirrorTools, probably MirrorBot bugs will be filed under MirrorTools. The cc list should be nathanlarson3141@gmail.com for now. It's probably okay to enable voting. Thanks.
Done.