Extensión:BatchUserRights

Manual de extensiones de MediaWiki

BatchUserRights Estado de la versión: 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 en la base de datos	No
Licencia	Licencia Pública General de GNU 3.0 o posterior
Descargar	Descargar la extensión. Git [?]: Explorar el repositorio (GitHub) revisión de código historial de cambios Download source tarball
Parámetros $wgBatchUserRightsGrantableGroups
Derechos añadidos batchuserrights
Ganchos proporcionados UserRights UserRights::groupCheckboxes
Descargas trimestrales	0
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 mueve la carpeta BatchUserRights extraída a tu directorio extensions/.
  Los desarrolladores y contribuidores de código deberían instalar la extensión desde Git en su lugar, usando: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.