A JSON-RPC implementation for PHP