const fromCommit = document.getElementById("from-commit");
const buildDate = document.getElementById("build-date");
import hljs from '/static/highlight.min.js';
import rust from 'https://cdnjs.cloudflare.com/ajax/libs/highlight.js/11.11.1/es/languages/rust.min.js';
hljs.registerLanguage('rust', rust);
hljs.highlightAll();
fetch("/info.txt").then(async data => {
const res = await data.text();
let map = new Map();
res.split("\n").map(x => x.split("=", 2)).map(([k, v]) => map[k] = v);
fromCommit.innerHTML = map["commit"].substr(0, 8);
buildDate.innerHTML = map["build_time"];
});