Original version of Generic Syntax Highlighter for PHP