rem: var themePlugins = tinyMCE.settings['plugins'].split(','); 
add: var themePlugins = tinyMCE.getParam('plugins', '', true, ','); 
context: function TinyMCE__getThemeFunction(suffix) {	var themePlugins = tinyMCE.settings['plugins'].split(',');	var templateFunction;	// Is it defined in any plugins	for (var i=themePlugins.length; i>=0; i--) {		templateFunction = 'TinyMCE_' + themePlugins[i] + suffix;		if (eval("typeof " + templateFunction) != 'undefined')			return templateFunction;	}	return 'TinyMCE_' + tinyMCE.settings['theme'] + suffix;}
meta: 5314	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5314/873ce1c62e52365d732f67421272ae1302559b15/tiny_mce_src.js/buggy/www/extras/tinymce/jscripts/tiny_mce/tiny_mce_src.js