Farben für Tag-Highlighting überschreiben?

[sam]

moin php'ler,
ich muss euch mal wieder nerven.
gibt es eine möglichkeit die farben für
das code-highlighting per highlight_string()
zu ändern, ohne dabei in der php.ini
rumzupfuschen (auf die hab ich nämlich
keinen zugriff).

in der php.ini steht ja sowas hier drin:

highlight.string  = #DD0000
highlight.comment = #FF9900
highlight.keyword = #007700
highlight.bg      = #FFFFFF
highlight.default = #0000BB
highlight.html    = #000000

krieg ich das on-the-fly geändert?

 

[sam]

hmmm als vars á la

$highlight_string  = "#DD0000";
$highlight_comment = "#FF0099";
$highlight_keyword = "#007700";
$highlight_bg      = "#FFFFFF";
$highlight_default = "#0000BB";
$highlight_html    = "#000000";

liegen die teile schonmal nicht vor

gibts nen einfacheren und serverschonenderen
weg als die font-tags einzeln zu replacen?

 

[Chino]

klaro, kein thema:

ini_set("highlight.string", "#000000");

http://www.php.net/manual/de/function.ini-set.php

 

[sam]

das hört sich vielversprechend an.
danke