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

chrome/content/ui/i18n.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
  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  * GNU General Public License for more details.
  *
  * You should have received a copy of the GNU General Public License
  * along with Adblock Plus.  If not, see <http://www.gnu.org/licenses/>.
  */
 
 // Inserts i18n strings into matching elements. Any inner HTML already in the element is
 // parsed as JSON and used as parameters to substitute into placeholders in the i18n
 // message.
 ext.i18n.setElementText = function(element, stringName, arguments)
 {
   function processString(str, element)
   {
-    let match = /^(.*?)<(a|strong)>(.*?)<\/\2>(.*)$/.exec(str);
+    var match = /^(.*?)<(a|strong)>(.*?)<\/\2>(.*)$/.exec(str);
     if (match)
     {
       processString(match[1], element);
 
-      let e = document.createElement(match[2]);
+      var e = document.createElement(match[2]);
       processString(match[3], e);
       element.appendChild(e);
 
       processString(match[4], element);
     }
     else
       element.appendChild(document.createTextNode(str));
   }
 
   while (element.lastChild)
     element.removeChild(element.lastChild);
   processString(ext.i18n.getMessage(stringName, arguments), element);
 }
 
 // Loads i18n strings
 function loadI18nStrings()
 {
-  let nodes = document.querySelectorAll("[class^='i18n_']");
-  for(let i = 0; i < nodes.length; i++)
+  var nodes = document.querySelectorAll("[class^='i18n_']");
+  for(var i = 0; i < nodes.length; i++)
   {
-    let node = nodes[i];
-    let arguments = JSON.parse("[" + node.textContent + "]");
+    var node = nodes[i];
+    var arguments = JSON.parse("[" + node.textContent + "]");
     if (arguments.length == 0)
       arguments = null;
 
-    let className = node.className;
+    var className = node.className;
     if (className instanceof SVGAnimatedString)
       className = className.animVal;
-    let stringName = className.split(/\s/)[0].substring(5);
+    var stringName = className.split(/\s/)[0].substring(5);
 
     ext.i18n.setElementText(node, stringName, arguments);
   }
 }
 
 // Provides a more readable string of the current date and time
 function i18n_timeDateStrings(when)
 {
-  let d = new Date(when);
-  let timeString = d.toLocaleTimeString();
+  var d = new Date(when);
+  var timeString = d.toLocaleTimeString();
 
-  let now = new Date();
+  var now = new Date();
   if (d.toDateString() == now.toDateString())
     return [timeString];
   else
     return [timeString, d.toLocaleDateString()];
 }
 
 // Fill in the strings as soon as possible
 window.addEventListener("DOMContentLoaded", loadI18nStrings, true);