Código de una aplicación para enviar mensajes a los servidores GCM de Google, escrita en PHP