PHP extension for JSON serialization support
