Add push.js, migrate from PushPlugin example.