path: root/extensions/Renameuser/SpecialRenameuser.php

<?php require dirname( __FILE__ ) . '/Renameuser.php';