Mirror of https://gerrit.wikimedia.org/g/mediawiki/libs/JsonCodec - View it on GitHub