function updateServiceWorker() {
	//alert("updating service worker");
	registerServiceWorker();
	hideUpdateButton();
}
function registerServiceWorker() {
	navigator.serviceWorker.register('./service-worker.php_201911300935_.js')

	.then(function(registration) {
	console.log('SW successfully registered');
})
.catch(function(error) {
	console.log('registration failed', error);
});
}

(function() {
	if (!('serviceWorker' in navigator)) {
		console.log('Service worker not supported');
		return;
	}
	registerServiceWorker();
})();