Minor changes in requestRemotePermission_fake in push.js