if (!document.selection && textbox.selectionStart === null) { 
if (!(document.selection && document.selection.createRange) && textbox.selectionStart === null) { 
function mwSetupToolbar() {	var toolbar = document.getElementById('toolbar');	if (!toolbar) { return false; }	var textbox = document.getElementById('wpTextbox1');	if (!textbox) { return false; }	// Don't generate buttons for browsers which don't fully	// support it.	if (!document.selection && textbox.selectionStart === null) {		return false;	}	for (var i = 0; i < mwEditButtons.length; i++) {		mwInsertEditButton(toolbar, mwEditButtons[i]);	}	for (var i = 0; i < mwCustomEditButtons.length; i++) {		mwInsertEditButton(toolbar, mwCustomEditButtons[i]);	}	return true;}
9612	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/9612/8f416baead93a48e5799e44b8bd2e2c4859f4e04/wikibits.js/buggy/skins/common/wikibits.js