From 1adc46e8fa60e7e7dff2dc4ca57376371adf79ab Mon Sep 17 00:00:00 2001
From: Christian Weiske <cweiske@cweiske.de>
Date: Fri, 29 Nov 2019 18:27:54 +0100
Subject: [PATCH] do not escape slashes in json

---
 bin/import-game-data.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bin/import-game-data.php b/bin/import-game-data.php
index 2c7aee6..3d6545f 100755
--- a/bin/import-game-data.php
+++ b/bin/import-game-data.php
@@ -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"
     );
 }
 
-- 
2.30.2