remove PHP version check

5.4 is the minimum supported version now.

diff --git a/lib/lib.php b/lib/lib.php
index b622748c2df9f907105404be97d2c88168deace0..9691f88a371b159cf7d62190674402a392be3ded 100644 (file)
--- a/lib/lib.php
+++ b/lib/lib.php
@@ -475,16 +475,14 @@ function getResultDiameter($aResult)
 
 function javascript_renderData($xVal, $iOptions = 0)
 {
 
 function javascript_renderData($xVal, $iOptions = 0)
 {

-    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;
-        }
+    $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);
 
     }
 
     $jsonout = json_encode($xVal, $iOptions);
 

-    if (! isset($_GET['json_callback'])) {
+    if (!isset($_GET['json_callback'])) {

         header("Content-Type: application/json; charset=UTF-8");
         echo $jsonout;
     } else {
         header("Content-Type: application/json; charset=UTF-8");
         echo $jsonout;
     } else {