A PHP/MySQL server to send mobile device push notifications using Google Cloud Messaging (GCM), Apple Push Notification (APNS)