Colored Source

[Anon]

PHP has a built-in parser for displaying the source of PHP files in a colored format - the default extension to activate this colored source output is .phps.

My question: Is there a PHP function which generates the HTML displayed when a user requests a .phps file?

[Anon]

The "Miscellaneous functions" chapter in the php4 manual has functions highlight_string, highlight_file and show_source

[Anon]

Thanks Andrew, somehow I missed that.

highlight_string doesn't work on my system (just replaces spaces with &nbsp😉 whereas highlight_file/show_source works fine. If I read the same file into a variable and pass that to highlight_string it doesn't work. Can anyone else confirm this or otherwise?