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

2017-07-17 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/365702 ) Change subject: all wikis to 1.30.0-wmf.9 .. all wikis to 1.30.0-wmf.9 Change-Id: I408b44129507f1894ac588388502e69c05605324 ---

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

2017-07-17 Thread Thcipriani (Code Review)
Thcipriani has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/365702 ) Change subject: all wikis to 1.30.0-wmf.9 .. all wikis to 1.30.0-wmf.9 Change-Id: I408b44129507f1894ac588388502e69c05605324 --- M wikive

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

2017-07-13 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/365189 ) Change subject: all wikis to 1.30.0-wmf.9 .. all wikis to 1.30.0-wmf.9 Change-Id: If49d9b407cb790275bd3d45da28eeaae1ab5e38b ---

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

2017-07-13 Thread Thcipriani (Code Review)
Thcipriani has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/365189 ) Change subject: all wikis to 1.30.0-wmf.9 .. all wikis to 1.30.0-wmf.9 Change-Id: If49d9b407cb790275bd3d45da28eeaae1ab5e38b --- M wikive