// Format code properly for the code box.
function mod_format_php_code($data)
{
	global $context;
 
	// Convert all line endings to html returns.
	// !!! Expect for opera which has a fit about it.
	if (!$context['browser']['is_opera'])
		$data = preg_replace('~[\r]?\n~', "<br />", $data);
 
	// Older browsers are annoying, aren\'t they?
	if ($context['browser']['is_ie4'] || $context['browser']['is_ie5'] || $context['browser']['is_ie5.5'])
		$data = str_replace("\t", "<pre style=\"display: inline;\">\t</pre>", $data);
	elseif (!$context['browser']['is_gecko'])
		$data = str_replace("\t", "<span style=\"white-space: pre;\">\t</span>", $data);
	else if (!$context['browser']['is_firefox'])
		$data = str_replace("\t", "&nbsp;&nbsp;&nbsp;", $data);
	// Firefox doesn't understand line breaks in <code> tags very well.
	elseif ($context['browser']['is_firefox'])
		return '<pre language="php" class="php_code">' . $data . '</pre>';
 
	return '<code>' . $data . '</code>';
}