rem: if (tinyMCE.isMSIE && !tinyMCE.isOpera) document.getElementById('devkit').outerHTML = document.getElementById('devkit').outerHTML; 
context: 	_setup : function() {		if (this._loaded)			return;		this._loaded = true;		// Register a document reference for more easy access in the FF DOM inspector		document.___TinyMCE = tinyMCE;		// Setup devkit by settings		this._logFilter = tinyMCE.getParam('devkit_log_filter', this._logFilter);		this._benchMark = tinyMCE.getParam('devkit_bench_mark', false);		var ifr = document.createElement('iframe');		ifr.setAttribute("id", "devkit");		ifr.setAttribute("frameBorder", "0");		ifr.setAttribute("src", tinyMCE.baseURL + '/plugins/devkit/devkit.htm');		document.body.appendChild(ifr);		// Workaround for strange IE reload bug		if (tinyMCE.isMSIE && !tinyMCE.isOpera)			document.getElementById('devkit').outerHTML = document.getElementById('devkit').outerHTML;		tinyMCE.importCSS(document, tinyMCE.baseURL + '/plugins/devkit/css/devkit_ui.css');	},
meta: 2801	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/2801/5c8946dfad35e239624464fb249d5116d7cf3e5e/editor_plugin_src.js/clean/jscripts/tiny_mce/plugins/devkit/editor_plugin_src.js