Extension:MirrorTools

This is the MirrorTools extension.

What can this extension do?
This extension extends various API classes to allow revisions to be added with arbitrary user names (and, in a later version, timestamps). This aids in mirroring of another wiki's content.

Usage
See the api.php? on your wiki for more details.

To use the API, first use Special:UserRights to grant MirrorTools rights to the user who will be inserting mirrored revisions.

Installation
Add this to your LocalSettings.php file: