MediaWiki:Extensiondistributor-desc/es

Extensión para la distribución de archivos de instantáneas de las extensiones