Parameter to enable JSON pretty-printing

diff --git a/lib/lib.php b/lib/lib.php
index d47aca57fed1198092deead8229036d8aec9e92b..b622748c2df9f907105404be97d2c88168deace0 100644 (file)
--- a/lib/lib.php
+++ b/lib/lib.php
@@ -475,8 +475,13 @@ function getResultDiameter($aResult)
 
 function javascript_renderData($xVal, $iOptions = 0)
 {
-    if (defined('PHP_VERSION_ID') && PHP_VERSION_ID > 50400)
+    if (defined('PHP_VERSION_ID') && PHP_VERSION_ID > 50400) {
         $iOptions |= JSON_UNESCAPED_UNICODE;
+        if (isset($_GET['pretty']) && in_array(strtolower($_GET['pretty']), array('1', 'true'))) {
+            $iOptions |= JSON_PRETTY_PRINT;
+        }
+    }
+
     $jsonout = json_encode($xVal, $iOptions);
 
     if (! isset($_GET['json_callback'])) {