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/e4510fe9ed2d3fab857436f9b4b76d6acf5bfe62/core.js/clean/xwiki-platform-web/standard/src/main/webapp/wiki_editor/plugins/core.js