Extensión:BatchUserRights

From mediawiki.org
This page is a translated version of the page Extension:BatchUserRights and the translation is 100% complete.
Manual de extensiones de MediaWiki
BatchUserRights
Estado de lanzamiento: sin mantenimiento
Implementación Página especial , Derechos de usuario
Descripción Permite añadir a uno o a más usuarios a un grupo o a más grupos en una sola acción.
Autor(es) Sean Colombo (SColombodiscusión)
Última versión 1.2.0 (2017-11-16)
MediaWiki 1.29+
Cambios de la base de datos No
Licencia GNU Licencia Pública general 3.0 o posterior
Descarga
  • $wgBatchUserRightsGrantableGroups
batchuserrights
Descargas trimestrales 1 (Ranked 147th)
Traduce la extensión BatchUserRights si está disponible en translatewiki.net

La extensión BatchUserRights permite añadir a uno o a más usuarios a uno o varios grupos de usuario en una sola acción.

Instalación

  • Descarga y extrae los archivos en un directorio denominado «BatchUserRights» dentro de la carpeta extensions/.
    Developers and code contributors should install the extension from Git instead, using:cd extensions/
    git clone https://gerrit.wikimedia.org/r/mediawiki/extensions/BatchUserRights
  • Añade el siguiente código en la parte final de tu archivo LocalSettings.php :
    wfLoadExtension( 'BatchUserRights' );
    # $wgGroupPermissions['bureaucrat']['batchuserrights'] = false; // right already given by default to bureaucrats, set this to remove permission
    # User groups which can be added through "Special:BatchUserRights" - Example:
    $wgBatchUserRightsGrantableGroups = array(
    	'bot',
    	'sysop',
    );
    
  • Yes Hecho – Navega a Special:Version en el wiki para verificar que la extensión se haya instalado correctamente.