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..a87df55b23db56c92b599b173512f9f3c8cd6c0b 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> has been updated
+        </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">