Revision fa28c18700566788147be85f68f440ffbfa83c66

Committed on 11/10/2018 2:02 pm by Tim Weber <scy@scy.name> [GitHub Diff]

Declare that we require the JSON extension