[xml mode] Lookup HTML tag properties in a cast-insensitive way

Closes #6779

Author: marijnh

mode/xml/xml.js

@@ -205,8 +205,8 @@ CodeMirror.defineMode("xml", function(editorConf, config_) {
         return;
       }
       parentTagName = state.context.tagName;
-      if (!config.contextGrabbers.hasOwnProperty(parentTagName) ||
-          !config.contextGrabbers[parentTagName].hasOwnProperty(nextTagName)) {
+      if (!config.contextGrabbers.hasOwnProperty(parentTagName.toLowerCase()) ||
+          !config.contextGrabbers[parentTagName.toLowerCase()].hasOwnProperty(nextTagName.toLowerCase())) {
         return;
       }
       popContext(state);
@@ -240,7 +240,7 @@ CodeMirror.defineMode("xml", function(editorConf, config_) {
     if (type == "word") {
       var tagName = stream.current();
       if (state.context && state.context.tagName != tagName &&
-          config.implicitlyClosed.hasOwnProperty(state.context.tagName))
+          config.implicitlyClosed.hasOwnProperty(state.context.tagName.toLowerCase()))
         popContext(state);
       if ((state.context && state.context.tagName == tagName) || config.matchClosing === false) {
         setStyle = "tag";
@@ -279,7 +279,7 @@ CodeMirror.defineMode("xml", function(editorConf, config_) {
       var tagName = state.tagName, tagStart = state.tagStart;
       state.tagName = state.tagStart = null;
       if (type == "selfcloseTag" ||
-          config.autoSelfClosers.hasOwnProperty(tagName)) {
+          config.autoSelfClosers.hasOwnProperty(tagName.toLowerCase())) {
         maybePopContext(state, tagName);
       } else {
         maybePopContext(state, tagName);
@@ -359,16 +359,16 @@ CodeMirror.defineMode("xml", function(editorConf, config_) {
           if (context.tagName == tagAfter[2]) {
             context = context.prev;
             break;
-          } else if (config.implicitlyClosed.hasOwnProperty(context.tagName)) {
+          } else if (config.implicitlyClosed.hasOwnProperty(context.tagName.toLowerCase())) {
             context = context.prev;
           } else {
             break;
           }
         }
       } else if (tagAfter) { // Opening tag spotted
         while (context) {
-          var grabbers = config.contextGrabbers[context.tagName];
-          if (grabbers && grabbers.hasOwnProperty(tagAfter[2]))
+          var grabbers = config.contextGrabbers[context.tagName.toLowerCase()];
+          if (grabbers && grabbers.hasOwnProperty(tagAfter[2].toLowerCase()))
             context = context.prev;
           else
             break;