PHP extension that uses the GNU source-highlight library (added in source-highlight version 3.0) directly from PHP, instead of relying on spawning a process or using the source-highlight CGI.