Extension and services to handle mobile push notifications on Platform