json_encode requires PHP >= 5.2; use the JSON class instead (already included in OJS 2.4.x).