Extension:UserExport/de-formal

The UserExport extension allows to export the user name and email of all MediaWiki users to a CSV-file via a new special page called "Special:UserExport".

Usage
This extension creates a new restricted special page called "Special:UserExport" with the title User Export which has only a button to trigger the generation of the CSV file. Click on this button and download the file. The data gets exported in "UTF-8".

Configuration
By default the "userexport" permission provided by this extension is assigned to the "bureaucrat" user group.
 * User right

In case you would like to change this add the following lines to your "LocalSettings.php" file after the inclusion of the extension as described in the "Installation" section above: