rem: if (aPlatform == PLATFORM_MACOSX) 
add: if (gPlatform == PLATFORM_MACOSX) 
context: function getPlatformName(){    aPlatform = gPlatform;  if (aPlatform == PLATFORM_WINDOWS)    return "Windows";  if (aPlatform == PLATFORM_LINUX)    return "Linux";  if (aPlatform == PLATFORM_MACOSX)    return "MacOSX";  return "Unknown";}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/8d7b1714dacbbb5be88fc5a20cc9a775ade4809f/install.js/clean/webtools/addons/public/htdocs/js/install.js