Merge branch 'dev' into 'dev'

Dev sync

See merge request kostikov/core!1

1 files changed, 27 insertions, 0 deletions

diff --git a/vendor/twbs/bootstrap/site/static/sw.js b/vendor/twbs/bootstrap/site/static/sw.js
new file mode 100644
index 000000000..db9229cf0
--- /dev/null
+++ b/vendor/twbs/bootstrap/site/static/sw.js
@@ -0,0 +1,27 @@
+// NOTICE!! DO NOT USE ANY OF THIS JAVASCRIPT
+// IT'S ALL JUST JUNK FOR OUR DOCS!
+// ++++++++++++++++++++++++++++++++++++++++++
+
+(function () {
+  'use strict'
+
+  if ('serviceWorker' in navigator) {
+    window.addEventListener('load', function () {
+      navigator.serviceWorker.getRegistrations().then(function (registrations) {
+        for (var registration of registrations) {
+          registration.unregister()
+            .then(function () {
+              return self.clients.matchAll()
+            })
+            .then(function (clients) {
+              clients.forEach(function (client) {
+                if (client.url && 'navigate' in client) {
+                  client.navigate(client.url)
+                }
+              })
+            })
+        }
+      })
+    })
+  }
+}())