Translations:MediaWiki 1.31/3/es

Fué desplegado en wikis de la Fundación Wikimedia a través de ramas incrementales "$1"-comenzando el 26 de septiembre de 2017.