Colorisation d'une chaîne void highlight_string (string str) highlight_string() affiche la version colorisée de la chaîne str, en utilisant les couleurs définies dans le moteur interne de PHP. Voir aussi @xref{function.highlight-file,,highlight_file()} et show_source().
