Removed incompatible json_encode prototype (not on PHP 5.4)