code highlighter fixed for PHP5