Push API: Store push registration IDs for GetRegistration etc

content/public/common/push_messaging_status.cc

Index: content/public/common/push_messaging_status.cc
diff --git a/content/public/common/push_messaging_status.cc b/content/public/common/push_messaging_status.cc
index d3b3d1b9dc51f2b95da738141b17277caf961aa6..53a0d9209de38866b727a189871242b36047d852 100644
--- a/content/public/common/push_messaging_status.cc
+++ b/content/public/common/push_messaging_status.cc
@@ -30,6 +30,9 @@ const char* PushRegistrationStatusToString(PushRegistrationStatus status) {
 
     case PUSH_REGISTRATION_STATUS_NO_SENDER_ID:
       return "Registration failed - no sender id provided";
+
+    case PUSH_REGISTRATION_STATUS_STORAGE_ERROR:
+      return "Registration failed - storage error";
   }
   NOTREACHED();
   return "";