message: add a temporary fix for atoms treating Selenium IDE as non-extension
diff: @@ -51,6 +51,10 @@ bot.setWindow = function(win) {
  bot.getDocument = function() {
  return bot.window_.document;
  };
  +// TODO: this is a temporary fix to make the atoms treat it as an extension
  +// we should implement bot.userAgent.WEBEXTENSION instead to account for more use cases
  +// than the old extension had to
  +bot.userAgent.FIREFOX_EXTENSION = true;
  export var core = {};
  goog.require("core.firefox");
  