[MediaWiki-commits] [Gerrit] mediawiki...Citoid[master]: extension.json: Remove dependency on json module

2016-11-29 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: extension.json: Remove dependency on json module .. extension.json: Remove dependency on json module Change-Id: I424de8034825d31b4c467889c4d3b6c4ed8ce911

[MediaWiki-commits] [Gerrit] mediawiki...Citoid[master]: extension.json: Remove dependency on json module

2016-11-21 Thread Jforrester (Code Review)
Jforrester has uploaded a new change for review. https://gerrit.wikimedia.org/r/322775 Change subject: extension.json: Remove dependency on json module .. extension.json: Remove dependency on json module Change-Id: