Php Server to register a device and push message