Codice PHP:
$string="echo(\"Ciao mondo\");";
echo highlight_string($string); 
Dunque...a parte che la sintassi corretta è questa...a me non evidenzia nulla, ma sto provando con easyphp nonsocheversione...magari con un'altra versione di php va!