[window-pushManager.https.any.window-module.html]
  prefs: [dom.push.window_pushmanager.enabled:true]
  expected:
    if os == "android": ERROR

  [Using window.pushManager when there is a service worker with scope /]
    expected:
      if os == "android": NOTRUN

  [Using window.pushManager when there is a service worker with scope NOT equal to /]
    expected:
      if os == "android": NOTRUN