2020-06-24 00:35:19 +02:00
|
|
|
<!DOCTYPE html>
|
|
|
|
|
<html>
|
|
|
|
|
<head>
|
|
|
|
|
<title>Small tests</title>
|
2020-09-02 11:37:34 +02:00
|
|
|
<link href="index.css" rel="stylesheet"/>
|
2021-09-09 00:05:51 +02:00
|
|
|
<link href="./vendor/leaflet.css" rel="stylesheet"/>
|
|
|
|
|
<link href="./index.css" rel="stylesheet"/>
|
|
|
|
|
<link href="./css/userbadge.css" rel="stylesheet"/>
|
|
|
|
|
<link href="./css/tabbedComponent.css" rel="stylesheet"/>
|
|
|
|
|
<link href="./css/mobile.css" rel="stylesheet"/>
|
|
|
|
|
<link href="./css/openinghourstable.css" rel="stylesheet"/>
|
|
|
|
|
<link href="./css/tagrendering.css" rel="stylesheet"/>
|
2021-10-02 17:57:54 +02:00
|
|
|
<link href="./css/index-tailwind-output.css" rel="stylesheet"/>
|
|
|
|
|
<link href="./css/wikipedia.css" rel="stylesheet"/>
|
2021-09-09 00:05:51 +02:00
|
|
|
<link href="css/ReviewElement.css" rel="stylesheet"/>
|
|
|
|
|
<meta content="website" property="og:type">
|
|
|
|
|
<meta content="width=device-width, initial-scale=1.0, user-scalable=no" name="viewport">
|
2021-01-29 03:23:53 +01:00
|
|
|
|
2020-06-24 00:35:19 +02:00
|
|
|
</head>
|
|
|
|
|
<body>
|
2020-11-17 02:22:48 +01:00
|
|
|
|
2021-04-23 12:59:09 +02:00
|
|
|
<div id="maindiv">'maindiv' not attached</div>
|
2020-07-01 02:12:33 +02:00
|
|
|
<div id="extradiv">'extradiv' not attached</div>
|
2021-04-23 12:59:09 +02:00
|
|
|
|
2023-01-17 03:51:46 +01:00
|
|
|
<script type="module" src="./test.ts"></script>
|
2021-11-15 11:51:32 +01:00
|
|
|
|
2022-05-13 01:20:08 +02:00
|
|
|
<script>
|
|
|
|
|
window.addEventListener('load', () => {
|
|
|
|
|
if ('serviceWorker' in navigator) {
|
|
|
|
|
// register service worker
|
|
|
|
|
navigator.serviceWorker.register('/service-worker.js').then(
|
|
|
|
|
() => {
|
|
|
|
|
console.log('SW registration successful');
|
|
|
|
|
},
|
|
|
|
|
err => {
|
|
|
|
|
console.error('SW registration failed', err)
|
|
|
|
|
});
|
|
|
|
|
} else {
|
|
|
|
|
console.error("Service workers are not supported")
|
|
|
|
|
}
|
|
|
|
|
});
|
|
|
|
|
</script>
|
2020-06-24 00:35:19 +02:00
|
|
|
</body>
|
|
|
|
|
</html>
|
