From 9f79ed929e4156dc8b5b45161895d70d51cfa5a2 Mon Sep 17 00:00:00 2001
From: Wu Cheng-Han
Date: Mon, 28 Nov 2016 01:36:48 +0800
Subject: Update to move custom CodeMirror codebase to our own repo and update
 webpack build config

---
 public/vendor/codemirror/mode/ebnf/ebnf.js | 195 -----------------------------
 1 file changed, 195 deletions(-)
 delete mode 100644 public/vendor/codemirror/mode/ebnf/ebnf.js

(limited to 'public/vendor/codemirror/mode/ebnf/ebnf.js')

diff --git a/public/vendor/codemirror/mode/ebnf/ebnf.js b/public/vendor/codemirror/mode/ebnf/ebnf.js
deleted file mode 100644
index 9618f8e4..00000000
--- a/public/vendor/codemirror/mode/ebnf/ebnf.js
+++ /dev/null
@@ -1,195 +0,0 @@
-// CodeMirror, copyright (c) by Marijn Haverbeke and others
-// Distributed under an MIT license: http://codemirror.net/LICENSE
-
-(function(mod) {
-  if (typeof exports == "object" && typeof module == "object") // CommonJS
-    mod(require("../../lib/codemirror"));
-  else if (typeof define == "function" && define.amd) // AMD
-    define(["../../lib/codemirror"], mod);
-  else // Plain browser env
-    mod(CodeMirror);
-})(function(CodeMirror) {
-  "use strict";
-
-  CodeMirror.defineMode("ebnf", function (config) {
-    var commentType = {slash: 0, parenthesis: 1};
-    var stateType = {comment: 0, _string: 1, characterClass: 2};
-    var bracesMode = null;
-
-    if (config.bracesMode)
-      bracesMode = CodeMirror.getMode(config, config.bracesMode);
-
-    return {
-      startState: function () {
-        return {
-          stringType: null,
-          commentType: null,
-          braced: 0,
-          lhs: true,
-          localState: null,
-          stack: [],
-          inDefinition: false
-        };
-      },
-      token: function (stream, state) {
-        if (!stream) return;
-
-        //check for state changes
-        if (state.stack.length === 0) {
-          //strings
-          if ((stream.peek() == '"') || (stream.peek() == "'")) {
-            state.stringType = stream.peek();
-            stream.next(); // Skip quote
-            state.stack.unshift(stateType._string);
-          } else if (stream.match(/^\/\*/)) { //comments starting with /*
-            state.stack.unshift(stateType.comment);
-            state.commentType = commentType.slash;
-          } else if (stream.match(/^\(\*/)) { //comments starting with (*
-            state.stack.unshift(stateType.comment);
-            state.commentType = commentType.parenthesis;
-          }
-        }
-
-        //return state
-        //stack has
-        switch (state.stack[0]) {
-        case stateType._string:
-          while (state.stack[0] === stateType._string && !stream.eol()) {
-            if (stream.peek() === state.stringType) {
-              stream.next(); // Skip quote
-              state.stack.shift(); // Clear flag
-            } else if (stream.peek() === "\\") {
-              stream.next();
-              stream.next();
-            } else {
-              stream.match(/^.[^\\\"\']*/);
-            }
-          }
-          return state.lhs ? "property string" : "string"; // Token style
-
-        case stateType.comment:
-          while (state.stack[0] === stateType.comment && !stream.eol()) {
-            if (state.commentType === commentType.slash && stream.match(/\*\//)) {
-              state.stack.shift(); // Clear flag
-              state.commentType = null;
-            } else if (state.commentType === commentType.parenthesis && stream.match(/\*\)/)) {
-              state.stack.shift(); // Clear flag
-              state.commentType = null;
-            } else {
-              stream.match(/^.[^\*]*/);
-            }
-          }
-          return "comment";
-
-        case stateType.characterClass:
-          while (state.stack[0] === stateType.characterClass && !stream.eol()) {
-            if (!(stream.match(/^[^\]\\]+/) || stream.match(/^\\./))) {
-              state.stack.shift();
-            }
-          }
-          return "operator";
-        }
-
-        var peek = stream.peek();
-
-        if (bracesMode !== null && (state.braced || peek === "{")) {
-          if (state.localState === null)
-            state.localState = CodeMirror.startState(bracesMode);
-
-          var token = bracesMode.token(stream, state.localState),
-          text = stream.current();
-
-          if (!token) {
-            for (var i = 0; i < text.length; i++) {
-              if (text[i] === "{") {
-                if (state.braced === 0) {
-                  token = "matchingbracket";
-                }
-                state.braced++;
-              } else if (text[i] === "}") {
-                state.braced--;
-                if (state.braced === 0) {
-                  token = "matchingbracket";
-                }
-              }
-            }
-          }
-          return token;
-        }
-
-        //no stack
-        switch (peek) {
-        case "[":
-          stream.next();
-          state.stack.unshift(stateType.characterClass);
-          return "bracket";
-        case ":":
-        case "|":
-        case ";":
-          stream.next();
-          return "operator";
-        case "%":
-          if (stream.match("%%")) {
-            return "header";
-          } else if (stream.match(/[%][A-Za-z]+/)) {
-            return "keyword";
-          } else if (stream.match(/[%][}]/)) {
-            return "matchingbracket";
-          }
-          break;
-        case "/":
-          if (stream.match(/[\/][A-Za-z]+/)) {
-          return "keyword";
-        }
-        case "\\":
-          if (stream.match(/[\][a-z]+/)) {
-            return "string-2";
-          }
-        case ".":
-          if (stream.match(".")) {
-            return "atom";
-          }
-        case "*":
-        case "-":
-        case "+":
-        case "^":
-          if (stream.match(peek)) {
-            return "atom";
-          }
-        case "$":
-          if (stream.match("$$")) {
-            return "builtin";
-          } else if (stream.match(/[$][0-9]+/)) {
-            return "variable-3";
-          }
-        case "<":
-          if (stream.match(/<<[a-zA-Z_]+>>/)) {
-            return "builtin";
-          }
-        }
-
-        if (stream.match(/^\/\//)) {
-          stream.skipToEnd();
-          return "comment";
-        } else if (stream.match(/return/)) {
-          return "operator";
-        } else if (stream.match(/^[a-zA-Z_][a-zA-Z0-9_]*/)) {
-          if (stream.match(/(?=[\(.])/)) {
-            return "variable";
-          } else if (stream.match(/(?=[\s\n]*[:=])/)) {
-            return "def";
-          }
-          return "variable-2";
-        } else if (["[", "]", "(", ")"].indexOf(stream.peek()) != -1) {
-          stream.next();
-          return "bracket";
-        } else if (!stream.eatSpace()) {
-          stream.next();
-        }
-        return null;
-      }
-    };
-  });
-
-  CodeMirror.defineMIME("text/x-ebnf", "ebnf");
-});
-- 
cgit v1.2.3