Function whenDOMReady

scripts/backup/m38u_detector.js:810–813

(f)

  }

  function whenDOMReady(f) {
    if (document.body) f();
    else window.addEventListener("DOMContentLoaded", f);
  }

  function addStyle(s) {
    let style = document.createElement("style");