[MediaWiki-commits] [Gerrit] mediawiki...Citoid[master]: extension.json: Remove dependency on json module
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
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: