@ -1,3 +0,0 @@
window.addHighlight = function(elementId) {
document.getElementById(elementId).classList.add('tasklist_item_highlight');
}