From ed4b068127530346345ed16b2e79b33bc5b03d57 Mon Sep 17 00:00:00 2001
From: Paul-Christian Volkmer
Date: Thu, 8 Jan 2026 16:22:57 +0100
Subject: build: remove webjars and use custom build (#238)

---
 src/main/resources/static/scripts.js | 159 -----------------------------------
 1 file changed, 159 deletions(-)
 delete mode 100644 src/main/resources/static/scripts.js

(limited to 'src/main/resources/static/scripts.js')

diff --git a/src/main/resources/static/scripts.js b/src/main/resources/static/scripts.js
deleted file mode 100644
index fdd3f52..0000000
--- a/src/main/resources/static/scripts.js
+++ /dev/null
@@ -1,159 +0,0 @@
-const dateFormatOptions = { year: 'numeric', month: '2-digit', day: '2-digit' };
-const dateFormat = new Intl.DateTimeFormat('de-DE', dateFormatOptions);
-
-const dateTimeFormatOptions = { year: 'numeric', month: '2-digit', day: '2-digit', hour: '2-digit', minute: 'numeric', second: 'numeric' };
-const dateTimeFormat = new Intl.DateTimeFormat('de-DE', dateTimeFormatOptions);
-
-const formatTimeElements = () => {
-    Array.from(document.getElementsByTagName('time')).forEach((timeTag) => {
-        let date = Date.parse(timeTag.getAttribute('datetime'));
-        if (! isNaN(date)) {
-            timeTag.innerText = dateTimeFormat.format(date);
-        }
-    });
-};
-
-window.addEventListener('load', formatTimeElements);
-window.addEventListener('htmx:afterRequest', formatTimeElements);
-
-function drawPieChart(url, elemId, title, data) {
-    if (data) {
-        update(elemId, data);
-    } else {
-        fetch(url)
-            .then(resp => resp.json())
-            .then(d => {
-                draw(elemId, title, d);
-                update(elemId, d);
-            });
-    }
-
-    function update(elemId, data) {
-        let chartDom = document.getElementById(elemId);
-        let chart = echarts.init(chartDom);
-
-        let option = {
-            color: data.map(i => i.color),
-            animationDuration: 250,
-            animationDurationUpdate: 250,
-            series: [
-                {
-                    type: 'pie',
-                    radius: ['40%', '70%'],
-                    avoidLabelOverlap: false,
-                    label: {
-                        show: false,
-                        position: 'center'
-                    },
-                    labelLine: {
-                        show: false
-                    },
-                    data: data
-                }
-            ]
-        };
-
-        option && chart.setOption(option);
-    }
-
-    function draw(elemId, title, data) {
-        let chartDom = document.getElementById(elemId);
-        let chart = echarts.init(chartDom);
-        let option= {
-            title: {
-                text: title,
-                left: 'center'
-            },
-            tooltip: {
-                trigger: 'item'
-            },
-            color: data.map(i => i.color),
-            animationDuration: 250,
-            animationDurationUpdate: 250
-        };
-
-        option && chart.setOption(option);
-    }
-}
-
-function drawBarChart(url, elemId, title, data) {
-    if (data) {
-        update(elemId, data);
-    } else {
-        fetch(url)
-            .then(resp => resp.json())
-            .then(data => {
-                draw(elemId, title, data);
-                update(elemId, data);
-            });
-    }
-
-    function update(elemId, data) {
-        let chartDom = document.getElementById(elemId);
-        let chart = echarts.init(chartDom);
-
-        let option = {
-            series: [
-                {
-                    name: 'UNKNOWN',
-                    type: 'bar',
-                    stack: 'total',
-                    data: data.map(i => i.nameValues.unknown)
-                },
-                {
-                    name: 'ERROR',
-                    type: 'bar',
-                    stack: 'total',
-                    data: data.map(i => i.nameValues.error)
-                },
-                {
-                    name: 'WARNING',
-                    type: 'bar',
-                    stack: 'total',
-                    data: data.map(i => i.nameValues.warning)
-                },
-                {
-                    name: 'SUCCESS',
-                    type: 'bar',
-                    stack: 'total',
-                    data: data.map(i => i.nameValues.success)
-                },
-                {
-                    name: 'DUPLICATION',
-                    type: 'bar',
-                    stack: 'total',
-                    data: data.map(i => i.nameValues.duplication)
-                }
-            ]
-        };
-
-        option && chart.setOption(option);
-    }
-
-    function draw(elemId, title, data) {
-        let chartDom = document.getElementById(elemId);
-        let chart = echarts.init(chartDom);
-        let option= {
-            title: {
-                text: title,
-                left: 'center'
-            },
-            xAxis: {
-                type: 'category',
-                data: data.map(i => dateFormat.format(Date.parse(i.date)))
-            },
-            yAxis: {
-                type: 'value',
-                minInterval: 1
-            },
-            tooltip: {
-                trigger: 'item'
-            },
-            color: ['slategray', 'red', 'darkorange', 'green', 'slategray'],
-            animationDuration: 250,
-            animationDurationUpdate: 250
-        };
-
-        option && chart.setOption(option);
-    }
-}
\ No newline at end of file
-- 
cgit v1.2.3