Function ctor

tools/pythonauto/static/codemirrorepl/codemirror.js:6976–6976

()

      inst = Object.create(base);
    } else {
      var ctor = function() {};
      ctor.prototype = base;
      inst = new ctor();
    }