Update json_gen.php