PHP extension for JSON (JavaScript Object Notation) serialization
