Devtools: [WIP] Implement enhanced devtools extension language APIs

Source/devtools/front_end/externs.js

 /*
  * Copyright (C) 2011 Google Inc. All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions are
  * met:
  *
  *     * Redistributions of source code must retain the above copyright
  * notice, this list of conditions and the following disclaimer.
  *     * Redistributions in binary form must reproduce the above
@@ skipping 482 matching lines @@
 /** @type {number} */
 CodeMirror.Pos.prototype.ch;
 
 /**
  * @param {!CodeMirror.Pos} pos1
  * @param {!CodeMirror.Pos} pos2
  * @return {number}
  */
 CodeMirror.cmpPos = function(pos1, pos2) { };
 
+/**
+ * @param {string} mode
+ * @param {?} definition
+ */
+CodeMirror.defineSimpleMode = function(mode, definition) {};
+
 /** @constructor */
 CodeMirror.StringStream = function(line)
 {
     this.pos = 0;
     this.start = 0;
 }
 CodeMirror.StringStream.prototype = {
     backUp: function(n) { },
     column: function() { },
     current: function() { },
@@ skipping 137 matching lines @@
  * @extends {ESTree.Node}
  * @constructor
  */
 ESTree.TemplateLiteralNode = function()
 {
     /** @type {!Array.<!ESTree.Node>} */
     this.quasis;
     /** @type {!Array.<!ESTree.Node>} */
     this.expressions;
 }