[MediaWiki-commits] [Gerrit] mediawiki...Kartographer[master]: Synchronize JsonSchema with mediawiki/core
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 Depe
[MediaWiki-commits] [Gerrit] mediawiki...Kartographer[master]: Synchronize JsonSchema with mediawiki/core
Florianschmidtwelzow has uploaded a new change for review. https://gerrit.wikimedia.org/r/305340 Change subject: Synchronize JsonSchema with mediawiki/core .. Synchronize JsonSchema with mediawiki/core Change-Id: I297091f5ef8