2018-12-22 21:03:13 +01:00
|
|
|
// NOTICE!! DO NOT USE ANY OF THIS JAVASCRIPT
|
|
|
|
// IT'S ALL JUST JUNK FOR OUR DOCS!
|
|
|
|
// ++++++++++++++++++++++++++++++++++++++++++
|
2018-07-12 18:39:25 +02:00
|
|
|
|
2018-12-22 21:03:13 +01:00
|
|
|
(function () {
|
|
|
|
'use strict'
|
2018-07-12 18:39:25 +02:00
|
|
|
|
2018-12-22 21:03:13 +01:00
|
|
|
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)
|
|
|
|
}
|
|
|
|
})
|
|
|
|
})
|
|
|
|
}
|
|
|
|
})
|
|
|
|
})
|
2018-07-12 18:39:25 +02:00
|
|
|
}
|
2018-12-22 21:03:13 +01:00
|
|
|
}())
|