📄️ Actualizar extensiones y desplegar
Esta página describe el proceso para actualizar las versiones de extensiones o skins en el repo de MediaWiki (a la última versión dentro de su release branch) y desplegar MediaWiki (en staging o producción) para que se reflejen dichos cambios. Esto es útil, por ejemplo, si salió un parche de seguridad importante para alguna extensión, o si estamos desarrollando una extensión y la queremos probar en staging.
📄️ Añadir/eliminar Extensiones y Skins
Esta página describe el proceso para añadir, actualizar y eliminar submódulos de extensiones o skins en el repositorio de MediaWiki. Esto es útil para añadir nuevas extensiones y skins, y para gestionar correctamente su ubicación dentro del repositorio.
📄️ Añadir/cambiar el favicon u logos de un wiki
Esta página describe el proceso para cambiar un logo, o favicon para alguno de los wikis de la red.