rem: if ( this.EnableOpera && navigator.appName == 'Opera' && parseInt( navigator.appVersion ) >= 9 ) 
add: if ( enableOpera && navigator.appName == 'Opera' && parseInt( navigator.appVersion, 10 ) >= 9 ) 
context: function FCKeditor_IsCompatibleBrowser(){	var sAgent = navigator.userAgent.toLowerCase() ;	// Internet Explorer	if ( sAgent.indexOf("msie") != -1 && sAgent.indexOf("mac") == -1 && sAgent.indexOf("opera") == -1 )	{		var sBrowserVersion = navigator.appVersion.match(/MSIE (.\..)/)[1] ;		return ( sBrowserVersion >= 5.5 ) ;	}	// Gecko (Opera 9 tries to behave like Gecko at this point).	if ( navigator.product == "Gecko" && navigator.productSub >= 20030210 && !( typeof(opera) == 'object' && opera.postError ) )		return true ;	// Opera	if ( this.EnableOpera && navigator.appName == 'Opera' && parseInt( navigator.appVersion ) >= 9 )			return true ;	// Safari	if ( this.EnableSafari && sAgent.indexOf( 'safari' ) != -1 )		return ( sAgent.match( /safari\/(\d+)/ )[1] >= 312 ) ;	// Build must be at least 312 (1.3)	return false ;}
meta: 8533	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/8533/30774da157017224af5d9a1b55d04bf21f55a840/fckeditor.js/clean/library/src/webapp/editor/FCKeditor/fckeditor.js