function highlight_php ($string)
{
	preg_match ("`\[php\](.+?)\[/php\]`is", $string, $matches);
	$replaced = highlight_string ($matches[1], true);
	$replaced = '<strong>PHP:</strong><div style="margin:0px 10px;padding:5px;background-color:#F7F7F7;border:1px dotted #CCCCCC;width:80%;"><em>' .$replaced.'</em></div>';
	$thephph = preg_replace('`\[php\](.+?)\[/php\]`is', $replaced, $string);
	return $thephph;

}