use unescaped unicode in json where supported by PHP

diff --git a/lib/lib.php b/lib/lib.php
index df65848d91f47cd36fbec805ae211611d4c8c4a4..2f94c25cf7c7d8eab011cdd46a6691954b77a933 100644 (file)
--- a/lib/lib.php
+++ b/lib/lib.php
@@ -671,7 +671,10 @@
        function javascript_renderData($xVal)
        {
                header("Access-Control-Allow-Origin: *");
-               $jsonout = json_encode($xVal);
+               $iOptions = 0;
+               if (defined('PHP_VERSION_ID') && PHP_VERSION_ID > 50400)
+                       $iOptions = JSON_UNESCAPED_UNICODE;
+               $jsonout = json_encode($xVal, $iOptions);
 
                if( ! isset($_GET['json_callback']))
                {