Translations:MediaWiki 1.31/3/es

Fue gradualmente desplegado en las wikis de la Fundación Wikimedia a través de ramas incrementales tipo "wmf-.*" a partir del 26 de septiembre de 2017.