improvements to php codehighlight