do not escape slashes in json
authorChristian Weiske <cweiske@cweiske.de>
Fri, 29 Nov 2019 17:27:54 +0000 (18:27 +0100)
committerChristian Weiske <cweiske@cweiske.de>
Fri, 29 Nov 2019 17:27:54 +0000 (18:27 +0100)
bin/import-game-data.php

index 2c7aee6279a384b60760176f5f4b982c2f08e825..3d6545ff0c3b3061b76a09b01e4accffa5f3d470 100755 (executable)
@@ -566,7 +566,7 @@ function writeJson($path, $data)
     }
     file_put_contents(
         $fullPath,
-        json_encode($data, JSON_PRETTY_PRINT) . "\n"
+        json_encode($data, JSON_PRETTY_PRINT | JSON_UNESCAPED_SLASHES) . "\n"
     );
 }