Update push-notifications.md

Fixed syntax highlighting.