Push API: Require user visible notification, else show auto notification

chrome/app/generated_resources.grd

Index: chrome/app/generated_resources.grd
diff --git a/chrome/app/generated_resources.grd b/chrome/app/generated_resources.grd
index b679e8fa5d612c7698246d6cd71c238ef7dded22..da5b754b03cdb83775579f4fc68a86ef0ca9e329 100644
--- a/chrome/app/generated_resources.grd
+++ b/chrome/app/generated_resources.grd
@@ -15020,6 +15020,16 @@ Do you accept?
       <message name="IDS_PUSH_MESSAGES_BUBBLE_FRAGMENT" desc="Question asked on the info bar whenever a domain wants to send push messages">
           push notifications
       </message>
+      <if expr="enable_notifications">
+        <message name="IDS_PUSH_MESSAGING_GENERIC_NOTIFICATION_TITLE" desc="Title of an auto-generated notification informing the user that the site may have received an update in the background, in case the site did not satisfy the visible notification requirement itself.">
+          <ph name="URL">
+            $1<ex>push.google.com</ex>
+          </ph> updated

[Peter Beverloo, 2015/01/09 19:33:27]

"push.google.com updated"

+has been?

[johnme, 2015/01/09 19:45:18]

Done.

+        </message>
+        <message name="IDS_PUSH_MESSAGING_GENERIC_NOTIFICATION_BODY" desc="Body text of an auto-generated notification informing the user that the site may have received an update in the background, in case the site did not satisfy the visible notification requirement itself.">
+          This site updated in the background.
+        </message>
+      </if>
 
       <!-- Copresence settings/debug strings -->
       <if expr="not is_android and not is_ios">