From e080bdff0f67a3913b99c985430e26150ea6c7a1 Mon Sep 17 00:00:00 2001
From: Sarah Hoffmann <lonvia@denofr.de>
Date: Tue, 4 Dec 2018 22:28:29 +0100
Subject: [PATCH] Don't escape slashes in json output

Fixes #1256.
---
 lib/lib.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/lib.php b/lib/lib.php
index cd23b068..39462ae3 100644
--- a/lib/lib.php
+++ b/lib/lib.php
@@ -68,7 +68,7 @@ function javascript_renderData($xVal, $iOptions = 0)
         throw new Exception('Invalid json_callback value', 400);
     }
 
-    $iOptions |= JSON_UNESCAPED_UNICODE;
+    $iOptions |= JSON_UNESCAPED_UNICODE | JSON_UNESCAPED_SLASHES;
     if (isset($_GET['pretty']) && in_array(strtolower($_GET['pretty']), array('1', 'true'))) {
         $iOptions |= JSON_PRETTY_PRINT;
     }
-- 
2.43.2