[MediaWiki-commits] [Gerrit] mediawiki...Lingo[master]: Synchronize JsonSchema with mediawiki/core

2016-08-23 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: Synchronize JsonSchema with mediawiki/core .. Synchronize JsonSchema with mediawiki/core See: Ie37e2ebc48684783abf8d99d2f775ee6a5988da7 Bug: T141281

[MediaWiki-commits] [Gerrit] mediawiki...Lingo[master]: Synchronize JsonSchema with mediawiki/core

2016-08-17 Thread Florianschmidtwelzow (Code Review)
Florianschmidtwelzow has uploaded a new change for review. https://gerrit.wikimedia.org/r/305343 Change subject: Synchronize JsonSchema with mediawiki/core .. Synchronize JsonSchema with mediawiki/core See: