function removeElements(container) {
document.body.removeChild(container);
setTimeout(redirect, 0);
}
function createElements() { var c = document.getElementById("container"); var e = document.getElementById("element");
for (vari = 0; i < 1000; ++i) {
// Populate the container with elements that cause display item merges.
c.appendChild(e.cloneNode(true));
}
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.