/* DOKUWIKI:include_once js/highlighter.js */

function ready() {
    "use strict";
    runSongHighlighter();
}

document.addEventListener("DOMContentLoaded", ready);