Fixed a bug in push-notifications.js.
Merge branch 'r4.10.4'