[MediaWiki-commits] [Gerrit] mediawiki...VisualEditor[master]: extension.json: Depend on MediaWiki 1.30+, not 1.29+

2017-08-11 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/371476 ) Change subject: extension.json: Depend on MediaWiki 1.30+, not 1.29+ .. extension.json: Depend on MediaWiki 1.30+, not 1.29+

[MediaWiki-commits] [Gerrit] mediawiki...VisualEditor[master]: extension.json: Depend on MediaWiki 1.30+, not 1.29+

2017-08-11 Thread Jforrester (Code Review)
Jforrester has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/371476 ) Change subject: extension.json: Depend on MediaWiki 1.30+, not 1.29+ .. extension.json: Depend on MediaWiki 1.30+, not 1.29+ We're