[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: all wikis to 1.31.0-wmf.16

2018-01-16 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/404536 ) Change subject: all wikis to 1.31.0-wmf.16 .. all wikis to 1.31.0-wmf.16 Change-Id: If8cf3cb7a44a0364df1b67a373456b714b8d802b

[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: all wikis to 1.31.0-wmf.16

2018-01-16 Thread Thcipriani (Code Review)
Thcipriani has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/404536 ) Change subject: all wikis to 1.31.0-wmf.16 .. all wikis to 1.31.0-wmf.16 Change-Id: If8cf3cb7a44a0364df1b67a373456b714b8d802b --- M