issue 1435 - Port popup.html from Chrome/Safari/Opera to Firefox

chrome/content/ui/utils.js

 /*
  * This file is part of Adblock Plus <http://adblockplus.org/>,
  * Copyright (C) 2006-2014 Eyeo GmbH
  *
  * Adblock Plus is free software: you can redistribute it and/or modify
  * it under the terms of the GNU General Public License version 3 as
  * published by the Free Software Foundation.
  *
  * Adblock Plus is distributed in the hope that it will be useful,
  * but WITHOUT ANY WARRANTY; without even the implied warranty of
@@ skipping 29 matching lines @@
 var {FilterStorage, PrivateBrowsing} = require("filterStorage");
 var {IO} = require("io");
 var {defaultMatcher, Matcher, CombinedMatcher} = require("matcher");
 var {Prefs} = require("prefs");
 var {RequestNotifier} = require("requestNotifier");
 var {Subscription, SpecialSubscription, RegularSubscription,
      ExternalSubscription, DownloadableSubscription} = require("subscriptionClasses");
 var {Synchronizer} = require("synchronizer");
 var {UI} = require("ui");
 var {Utils} = require("utils");
+var ext;

[saroyanm, 2014/10/27 21:49:20]

@Wladimir I'm not sure if we should use require function to return ext as a
module ? 
if (module == "ext")
  return ext;

 
 /**
  * Shortcut for document.getElementById(id)
  */
 function E(id)
 {
   return document.getElementById(id);
 }
 
 /**
  * Split up all labels into the label and access key portions.
  */
 document.addEventListener("DOMContentLoaded", function splitAllLabelsHandler()
 {
   document.removeEventListener("DOMContentLoaded", splitAllLabelsHandler, false);
   Utils.splitAllLabels(document);
 }, false);