Follow-up for bug#10079 - deleted json.js.