mediawiki/user-export

Maintainers

Details

gerrit.wikimedia.org/r/mediawiki/extensions/UserExport

Installs: 13

Dependents: 0

Suggesters: 0

Security: 0

2.1.1 2020-04-15 17:02 UTC

Requires (Dev)

GPL-2.0-or-later 5c0fcb99f5778805fdd94b9a63a42357bf72d2e2

  • Rodrigo Sampaio Primo
  • Karsten Hoffmeyer
  • Mark A. Hershberger

This package is not auto-updated.

Last update: 2024-04-12 23:17:50 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

  1. Obtain the code from GitHub
  2. Extract the files in a directory called UserExport in your extensions/ folder.
  3. Add the following code at the bottom of your "LocalSettings.php" file: 
    wfLoadExtension( 'UserExport' );
  4. Configure as required. See the "Configuration" section below.
  5. Go to "Special:Version" on your wiki to verify that the extension was successfully installed.
  6. 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.