Push notifications extension for the Play API.