[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: group1 to wmf.17

2017-09-07 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/376305 ) Change subject: group1 to wmf.17 .. group1 to wmf.17 Change-Id: I0e15fe3c7fb28cf1279d5a23ebd2d8671e70f66b --- M php M

[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: group1 to wmf.17

2017-09-06 Thread Chad (Code Review)
Chad has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/376305 ) Change subject: group1 to wmf.17 .. group1 to wmf.17 Change-Id: I0e15fe3c7fb28cf1279d5a23ebd2d8671e70f66b --- M php M wikiversions.json 2