Server side code for GCM push notification in PHP - View it on GitHub