https://lists.wikimedia.org/hyperkitty/list/ee@lists.wikimedia.org/message/ZDVSDKYZAFIWRQFHG5NSR33Q6ER3QAXX/
[EE] wmf20 deployment update - EE - lists.wikimedia.org
update listseedeploymentwikimedia
https://www.mediawiki.org/wiki/MediaWiki_1.25/wmf20
MediaWiki 1.25/wmf20 - MediaWiki
mediawiki