void show_source
(string filename)
show_source() affiche la syntaxe colorisée du
fichier filename, en utilisant les couleurs
définies dans le moteur interne de PHP.
Note : show_source() est un alias de @xref{function.highlight-file,,highlight_file()
}
Voir aussi
highlight_string() et
@xref{function.highlight-file,,highlight_file()}.
