<?php

if (!function_exists('json_encode'))

{

function json_encode($a=false)

{

if (is_null($a)) return 'null';

if ($a === false) return 'false';

if ($a === true) return 'true';

if (is_scalar($a))

{

if (is_float($a))

{

// Always use "." for floats.

return floatval(str_replace(",", ".", strval($a)));

}

 
if (is_string($a))

{

static $jsonReplaces = array(array("\\", "/", "\n", "\t", "\r", "\b", "\f", '"'), array('\\\\', '\\/', '\\n', '\\t', '\\r', '\\b', '\\f', '\"'));

return '"' . str_replace($jsonReplaces[0], $jsonReplaces[1], $a) . '"';

}

else

return $a;

}

$isList = true;

for ($i = 0, reset($a); $i < count($a); $i++, next($a))

{

if (key($a) !== $i)

{

$isList = false;

break;

}

}

$result = array();

if ($isList)

{

foreach ($a as $v) $result[] = json_encode($v);

return '[' . join(',', $result) . ']';

}

else

{

foreach ($a as $k => $v) $result[] = json_encode($k).':'.json_encode($v);

return '{' . join(',', $result) . '}';

}

}

}

?>