js now properly defines PushNotification prototype.