common.js

@@ -159,10 +159,3 @@
   deleteChildren(element);
   element.appendChild(document.createTextNode(text));
}

// Other functions
var decodeEntitiesTextArea = document.createElement('textarea');
function decodeEntities(text) {
   decodeEntitiesTextArea.innerHTML = text;
   return decodeEntitiesTextArea.value;
}