return str; 
return str; 
WikiEditor.prototype.getListControls = function(button_name) {	var str="";	switch(button_name) {		case 'bullist':			str = this.createButtonHTML('bullist', 'bullist.gif', 'lang_bullist_desc', 'InsertUnorderedList');			break;		case 'numlist':            str = this.createButtonHTML('numlist', 'numlist.gif', '$lang_numlist_desc', 'InsertOrderedList');			break;	}	return str;}
6184	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6184/ef2e65f81f6edf2562d4ba4187b1f5753708763c/core.js/buggy/xwiki-platform-web/standard/src/main/webapp/wiki_editor_2/plugins/core.js