mediawiki-extension-renameself