[[MediaWiki:Group-MirrorTools-member/pl]]

Rozszerzenie umożliwia edytowanie jako inny użytkownik poprzez api. Zostało zrobione po to, aby można było zrobić kopię jakiejś wiki do własnej. Tak przynajmniej wyczytałem ze strony meta:Extension:MirrorTools. Nazwa rozszerzenia jest błędna, bo określa zastosowanie, a nie funkcję. Zmieniłem wszystkie komunikaty na MirrorTools. Twoje rozwiązanie jest lepsze doszedłem po namyśle - bez zapoznania się z ideą narzędzia i tak ludzie by się nie mogli połapać.