add: this._openTime = Math.abs(Date.UTC());  this._brandShortName = document.getElementById("brandStrings").getString("brandShortName"); this._updateStrings = document.getElementById("extensionsStrings");  
context:   init: function ()  {    this._updateType = window.arguments[0];    this._extensionManager = window.arguments[1];    this._extensionID = window.arguments[2];    var os = Components.classes["@mozilla.org/observer-service;1"]                       .getService(Components.interfaces.nsIObserverService);    for (var i = 0; i < this._messages.length; ++i)      os.addObserver(this, this._messages[i], false);        if (this._updateType == "extensions")      this._extensionManager.updateExtension(this._extensionID, window);    else if (gUpdateType == "themes")      this._extensionManager.updateTheme(this._extensionID);  },
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/1c2b923fe976b6ffd381ab5fd5050f3e8e6a0a0b/update.js/clean/toolkit/mozapps/extensions/content/update.js