diff --git a/extension.json b/extension.json
index 697e571f..f78482c1 100644
--- a/extension.json
+++ b/extension.json
@@ -27,8 +27,7 @@
 		},
 		"CodeMirrorConflictingGadgets": {
 			"value": [
-				"wikEd",
-				"DotsSyntaxHighlighter"
+				"wikEd"
 			],
 			"description": "An array of gadget names that, if enabled, will prevent CodeMirror from loading on action=edit and action=submit.",
 			"public": true