function init() {
let targetURL = new URL(window.location.href);
let i = targetURL.pathname.lastIndexOf("/");
targetURL.pathname = `${targetURL.pathname.substring(0, i)}/target.html`;
window.addEventListener("TabPaint:OpenFromContent", () => {
let target = document.getElementById("target");
//win.performance.now() + win.performance.timing.navigationStart gives the UNIX timestamp.
let now = window.performance.now() + window.performance.timing.navigationStart;
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.