Extensión:BatchUserRights

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	Descargar la extensión. Git [?]: Descargar desde master de Git Explorar el repositorio (GitHub) historial de cambios Colaboradores de repositorio (GitHub) revisión de código
Parámetros $wgBatchUserRightsGrantableGroups
Derechos añadidos batchuserrights
Los ganchos proporcionaron UserRights UserRights::groupCheckboxes
Descargas trimestrales	3 (Ranked 136th)
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',
  );
  

•  Hecho – Navega a Special:Version en el wiki para verificar que la extensión se haya instalado correctamente.