this.minorVersion = "1.0"; this.releaseDate = "2007-02-13"; 
this.minorVersion = "1.1"; this.releaseDate = "2007-05-08"; 
function TinyMCE_Engine() {	var ua;	this.majorVersion = "2";	this.minorVersion = "1.0";	this.releaseDate = "2007-02-13";	this.instances = new Array();	this.switchClassCache = new Array();	this.windowArgs = new Array();	this.loadedFiles = new Array();	this.pendingFiles = new Array();	this.loadingIndex = 0;	this.configs = new Array();	this.currentConfig = 0;	this.eventHandlers = new Array();	this.log = new Array();	this.undoLevels = [];	this.undoIndex = 0;	this.typingUndoIndex = -1;	// Browser check	ua = navigator.userAgent;	this.isMSIE = (navigator.appName == "Microsoft Internet Explorer");	this.isMSIE5 = this.isMSIE && (ua.indexOf('MSIE 5') != -1);	this.isMSIE5_0 = this.isMSIE && (ua.indexOf('MSIE 5.0') != -1);	this.isMSIE7 = this.isMSIE && (ua.indexOf('MSIE 7') != -1);	this.isGecko = ua.indexOf('Gecko') != -1;	this.isSafari = ua.indexOf('Safari') != -1;	this.isOpera = ua.indexOf('Opera') != -1;	this.isMac = ua.indexOf('Mac') != -1;	this.isNS7 = ua.indexOf('Netscape/7') != -1;	this.isNS71 = ua.indexOf('Netscape/7.1') != -1;	this.dialogCounter = 0;	this.plugins = new Array();	this.themes = new Array();	this.menus = new Array();	this.loadedPlugins = new Array();	this.buttonMap = new Array();	this.isLoaded = false;	// Fake MSIE on Opera and if Opera fakes IE, Gecko or Safari cancel those	if (this.isOpera) {		this.isMSIE = true;		this.isGecko = false;		this.isSafari =  false;	}	this.isIE = this.isMSIE;	this.isRealIE = this.isMSIE && !this.isOpera;	// TinyMCE editor id instance counter	this.idCounter = 0;};
3623	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/3623/32d3515ec5cf941c718954b41f19cc777ee4a50e/tiny_mce_src.js/buggy/ain7-website/ain7/media/js/tiny_mce/tiny_mce_src.js