a simple multi device push notification php class