protocol buffers extension for PHP