Ionic push notifications with dev_push = false

I’m trying to get push notifications working on my first ionic app. Had some success with the dev push notifications to the browser and then when attempting iOS or Android - having thought I’d set it all up as indicated in the docs I change the dev_push ionic setting to false and immediately receive a:

ReferenceError: Can’t find variable: PushNotification, http://localhost:8100/lib/ionic-platform-web-client/dist/

So web platform is complaining whereas with dev “true” it was fine. I panic and install a load of extra cruft which I probably don’t need according to this link. Still no luck referencing PushNotification.

Any clues?