Quick example with push notifications from php to javascript/html5