rem: this.releaseDate = "2006-10-22"; 
add: this.releaseDate = "2006-10-xx"; 
context: function TinyMCE_Engine() {	var ua;	this.majorVersion = "2";	this.minorVersion = "0.8";	this.releaseDate = "2006-10-22";	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;};
meta: 2801	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/2801/9ce13e68aa09cd3b906b83e976b8f7138035dee1/TinyMCE_Engine.class.js/buggy/jscripts/tiny_mce/classes/TinyMCE_Engine.class.js