rem: Timeline.Platform.isIE= (navigator.appName.indexOf("Microsoft") != -1); 
add: var an = navigator.appName.toLowerCase(); var ua = navigator.userAgent.toLowerCase(); 
context: (function() {    Timeline.Platform.isIE= (navigator.appName.indexOf("Microsoft") != -1);    	var ua = navigator.userAgent.toLowerCase(); 	Timeline.Platform.isWin = (ua.indexOf('win') != -1);	Timeline.Platform.isWin32 = Timeline.Platform.isWin && (           ua.indexOf('95') != -1 ||         ua.indexOf('98') != -1 ||         ua.indexOf('nt') != -1 ||         ua.indexOf('win32') != -1 ||         ua.indexOf('32bit') != -1    );})();
meta: 6925	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/6925/5b9981fccda7a0bff834c05086de258b8f406089/platform.js/clean/src/main/webapp/api/scripts/util/platform.js