Restore erroneously-deleted characters in json.rs.
Restore erroneously-deleted characters in json.rs.

TheJakeSchmidt/wikipedia-minus-wikipedians,TheJakeSchmidt/wikipedia-minus-wikipedians,TheJakeSchmidt/wikipedia-minus-wikipedians