Index: chrome/content/ui/i18n.js |
=================================================================== |
--- a/chrome/content/ui/i18n.js |
+++ b/chrome/content/ui/i18n.js |
@@ -16,10 +16,11 @@ |
*/ |
var i18n; |
-if (typeof chrome != "undefined") |
-{ |
+ |
+if (typeof ext != "undefined") |
+ i18n = ext.i18n; |
+else if (typeof chrome != "undefined") |
i18n = chrome.i18n; |
Wladimir Palant
2013/10/29 12:59:52
I guess that this branch should be removed once ad
|
-} |
else |
{ |
// Using Firefox' approach on i18n instead |