rem: if (geckoVersionCompare("1.8") <= 0) 
add: if (torbutton_gecko_compare("1.8") <= 0) 
context: function torbutton_open_about_dialog() {    var extensionManager = Components.classes["@mozilla.org/extensions/manager;1"]                           .getService(Components.interfaces.nsIExtensionManager);    var database = '@mozilla.org/rdf/datasource;1?name=composite-datasource';    var extension_id = '';    database = Components.classes[database]               .getService(Components.interfaces.nsIRDFCompositeDataSource);    database.AddDataSource(extensionManager.datasource);    if (geckoVersionCompare("1.8") <= 0)    {        // Firefox 1.5 -- use built-in about box        extension_id = "urn:mozilla:item:{e0204bd5-9d31-402b-a99d-a6aa8ffebdca}";        window.openDialog("chrome://mozapps/content/extensions/about.xul","","chrome",extension_id,database);    } else {        // Firefox 1.0 -- home page link is broken in built-in about box, use our own        extension_id = "urn:mozilla:extension:{e0204bd5-9d31-402b-a99d-a6aa8ffebdca}";        window.openDialog("chrome://torbutton/content/about.xul","","chrome",extension_id,database);    }}
meta: 3444	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/3444/6d16d2398792e6b4fdd065aeb02351a0b494ec98/torbutton.js/buggy/src/chrome/content/torbutton.js