Extension:UpdateMediaWiki/es

Manual de extensiones de MediaWiki

updateMediaWiki Estado de lanzamiento: sin mantenimiento
Implementación	Página especial , MyWiki
Descripción	Permite a los administradores y usuarios autorizados actualizar MediaWiki desde una página especial.
Autor(es)	Miguel Peláez (Miguel2706discusión)
Última versión	0.3.0 (2014-04-03)
MediaWiki	1.25+
PHP	5.3+
Licencia	GNU Licencia Pública general 2.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
Derechos añadidos updatecore
Descargas trimestrales	3 (Ranked 136th)
Traduce la extensión UpdateMediaWiki si está disponible en translatewiki.net

La extención UpdateMediaWiki permite a los administradores y usuarios autorizados actualizar MediaWiki desde una página especial.

Instalación

• Descarga y extrae los archivos en un directorio denominado «UpdateMediaWiki» 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/UpdateMediaWiki
• Añade el siguiente código en la parte final de tu archivo LocalSettings.php :

  wfLoadExtension( 'UpdateMediaWiki' );
  

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

Derechos de usuario

Una vez que haya instalado la extensión, tendrás que configurar los derechos de usuario en el archivo LocalSettings.php .

Derecho	Descripción
updatecore	Actializar el núcleo de MediaWiki

Por ejemplo, el siguiente código de configuración permitiría a los operadores del sistema a hacer todo lo que quieran con UpdateMediaWiki:

$wgGroupPermissions['sysop']['updatecore'] = true;

Uso

To update from this extension, go to "Special:Updatemediawiki". Permission "updatecore" is required to do so.