str = ""; 
var str = ""; 
WikiEditor.prototype.getTabControls = function(button_name) {	str = "";	switch(button_name) {		case 'outdent':			str = this.createButtonHTML('outdent', 'outdent.gif', 'lang_outdent_desc', 'Outdent');			break;		case 'indent':			str = this.createButtonHTML('indent', 'indent.gif', 'lang_indent_desc', 'Indent');			break;	}	return str;}
6184	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6184/d49b09d9a8068cb7f4067527ae67ee3e5023befb/core.js/clean/xwiki-platform-web/standard/src/main/webapp/wiki_editor/plugins/core.js