mediawiki / user-export
2.1.1
2020-04-15 17:02 UTC
Requires (Dev)
- jakub-onderka/php-console-highlighter: 0.4.0
- jakub-onderka/php-parallel-lint: 1.0.0
- mediawiki/mediawiki-codesniffer: 29.0.0
- mediawiki/minus-x: 1.0.0
- vimeo/psalm: ^3.10
This package is not auto-updated.
Last update: 2024-12-21 02:44:52 UTC
README
The UserExport extension to MediaWiki allows to export all user's account names together with the respective e-mail address as a UTF-8 encoded CSV file.
Compatibility
- PHP 7.2+
- MediaWiki 1.33+
See also the CHANGELOG.md file provided with the code.
Installation
- Obtain the code from GitHub
- Extract the files in a directory called
UserExport
in yourextensions/
folder. - Add the following code at the bottom of your "LocalSettings.php" file:
wfLoadExtension( 'UserExport' );
- Configure as required. See the "Configuration" section below.
- Go to "Special:Version" on your wiki to verify that the extension was successfully installed.
- Done.
Configuration
By default the "userexport" permission provided by this extension is assigned to the "bureaucrat" user group. 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:
$wgGroupPermissions['bureaucrat']['userexport'] = false; // remove from "bureaucrat" group
$wgGroupPermissions['userexport']['userexport'] = true; // add to dedicated "userexport" group
Usage
See the extension's homepage for further information.