Add vibrate to notificationOptions

Author: nojaf

Diff for: src/NotificationAPI.res

@@ -86,6 +86,10 @@ type notificationOptions = {
   mutable requireInteraction?: bool,
   mutable data?: JSON.t,
   mutable actions?: array<notificationAction>,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/en-US/docs/Web/API/ServiceWorkerRegistration/showNotification#vibrate)
+  */
+  mutable vibrate?: array<int>,
 }
 
 type getNotificationOptions = {mutable tag?: string}

Diff for: tests/NotificationsAPI/Notification__test.res

@@ -10,4 +10,4 @@ Notification.requestPermission()
   | Default => Console.log("Permission default")
   }
 })
-->Promise.done
+->Promise.ignore

Diff for: tests/ServiceWorkerAPI/ServiceWorker__test.js

@@ -28,9 +28,10 @@ self->ServiceWorkerGlobalScope.addEventListener(EventAPI.Push, (event: PushAPI.p
       actions: [{action: "open", title: "Open"}, {action: "close", title: "Close"}],
       // For example the id of a new data entry
       data: JSON.Number(17.),
+      vibrate: [200, 50, 200, 50, 400],
     },
   )
-  ->Promise.done
+  ->Promise.ignore
 })
 
 self->ServiceWorkerGlobalScope.addEventListener(EventAPI.NotificationClick, (
@@ -51,6 +52,6 @@ self->ServiceWorkerGlobalScope.addEventListener(EventAPI.NotificationClick, (
   ->Option.forEach(id => {
     self.clients
     ->Clients.openWindow(`https://mywebsite.com/mydata/${id}`)
-    ->Promise.done
+    ->Promise.ignore
   })
 })