def json_dump()

in tools/registry.py [0:0]


def json_dump(file, data):
  with open(file, "w") as f:
    json.dump(data, f, indent=4, sort_keys=True)
    f.write("\n")