You can change the colors of the highlighting, like this:
ini_set("highlight.comment", "#008000");
ini_set("highlight.default", "#000000");
ini_set("highlight.html", "#808080");
ini_set("highlight.keyword", "#0000BB; font-weight: bold");
ini_set("highlight.string", "#DD0000");
?>
Like you see in the example above, you can even add additional styles like bold text, since the values are set directly to the DOM attribute "style".
Also, this function highlights only text, if it begins with the prefix "
function highlightText($text)
{
$text = trim($text);
$text = highlight_string(". $text, true); $text = trim($text);
$text = preg_replace("|^\\\\|", "", $text, 1); $text = preg_replace("|\\
\$|", "", $text, 1); $text = trim($text); $text = preg_replace("|\\\$|", "", $text, 1); $text = trim($text); $text = preg_replace("|^(\\)(<\\?php )(.*?)(\\)|", "\$1\$3\$4", $text); return $text;
}
?>
Note, that it will remove the tag too, so you get the formatted text directly, which gives you more freedom to work with the result.
I personally suggest to combine both things to have a nice highlighting function for different file types with different highlight coloring sets:
function highlightText($text, $fileExt="")
{
if ($fileExt == "php")
{
ini_set("highlight.comment", "#008000");
ini_set("highlight.default", "#000000");
ini_set("highlight.html", "#808080");
ini_set("highlight.keyword", "#0000BB; font-weight: bold");
ini_set("highlight.string", "#DD0000");
}
else if ($fileExt == "html")
{
ini_set("highlight.comment", "green");
ini_set("highlight.default", "#CC0000");
ini_set("highlight.html", "#000000");
ini_set("highlight.keyword", "black; font-weight: bold");
ini_set("highlight.string", "#0000FF");
}
$text = trim($text);
$text = highlight_string(". $text, true); $text = trim($text);
$text = preg_replace("|^\\\\|", "", $text, 1); $text = preg_replace("|\\
\$|", "", $text, 1); $text = trim($text); $text = preg_replace("|\\\$|", "", $text, 1); $text = trim($text); $text = preg_replace("|^(\\)(<\\?php )(.*?)(\\)|", "\$1\$3\$4", $text); return $text;
}
?>