Ensure WebIDL in diff is excluded from extraction

w3c · Mar 1, 2023 · f357631 · f357631
1 parent 06913a0
commit f357631
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/webrtc.js b/webrtc.js
@@ -175,7 +175,7 @@ function showAmendments() {
 	ui.classList.add("modify");
 	let containerOld = containerFromId(section);
 	containerOld = containerOld.cloneNode(true);
-	containerOld.classList.add("diff-old");
+	containerOld.classList.add("diff-old", "exclude");
 	// clean up ids to avoid duplicates
 	containerOld.querySelectorAll("[id]").forEach(el => el.removeAttribute("id"));
 	// validator complains about this, but this should be right thing to do