¡En estos momentos no hay nadie que se encargue del mantenimiento de esta extensión! Aunque todavía puede que funcione, los informes sobre errores o peticiones de nuevas funcionalidades serán probablemente ignorados. Si estás interesado en el desarrollo y mantenimiento de esta extensión, puedes solicitar acceso al repositorio. Como cortesía, puede que quieras contactar a su autor. También deberás quitar esta plantilla y añadirte como encargado del mantenimiento de esta extensión en la plantilla {{Extensión }} de la página.

Manual de extensiones de MediaWiki

updateMediaWiki Estado de la versión: sin mantenimientoCategory:Unmaintained extensions/es
Implementación	Página especial Category:Special page extensions/es, MyWiki Category:Personalization extensions/es
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+Category:Extensions with manual MediaWiki version/es
PHP	5.3+
Licencia	Licencia Pública General de GNU 2.0 o posterior
Descargar	Descargar la extensión. Git [?]: Explorar el repositorio (GitHub) revisión de código historial de cambios Download source tarball Category:Extensions in Wikimedia version control/es
Derechos añadidos updatecore Category:Extensions which add rights/es
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 mueve la carpeta UpdateMediaWiki 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/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 .

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.