1 files changed, 0 insertions, 33 deletions
diff --git a/include/ws_protocols/json_encoder.php b/include/ws_protocols/json_encoder.php
index 128c56586..badecd1ff 100644
--- a/include/ws_protocols/json_encoder.php
+++ b/include/ws_protocols/json_encoder.php
@@ -21,39 +21,6 @@
 // | USA.                                                                  |
 // +-----------------------------------------------------------------------+
 
-
-#_____________________  PHP 5.2
-if (! function_exists('json_encode')) {
-  function json_encode($data) {
-    switch (gettype($data)) {
-      case 'boolean':
-        return ($data ? 'true' : 'false');
-      case 'null':
-      case 'NULL':
-        return 'null';
-      case 'integer':
-      case 'double':
-        return $data;
-      case 'string':
-        return '"'. str_replace(array("\\",'"',"/","\n","\r","\t"), array("\\\\",'\"',"\\/","\\n","\\r","\\t"), $data) .'"';
-      case 'object':
-      case 'array':
-        if ($data === array()) return '[]'; # empty array
-        if (range(0, count($data) - 1) !== array_keys($data) ) { # string keys, unordered, non-incremental keys, .. - whatever, make object
-          $out = "\n".'{';
-          foreach($data as $key => $value) {
-            $out .= json_encode((string) $key) . ':' . json_encode($value) . ',';
-          }
-          $out = substr($out, 0, -1) . "\n". '}';
-        }else{
-          # regular array
-          $out = "\n".'[' . join("\n".',', array_map('json_encode', $data)) ."\n".']';
-        }
-        return $out;
-    }
-  }
-}
-
 class PwgJsonEncoder extends PwgResponseEncoder
 {
   function encodeResponse($response)