A PHP web service to register iOS and Android devices for notifications