Don't escape slashes in json output

Fixes #1256.

diff --git a/lib/lib.php b/lib/lib.php
index cd23b06843ca550304a50924bb071be3108d8a8b..39462ae3cc8b819c9d3843a687db8b326db925e2 100644 (file)
--- 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;
     }