PHP Code highlighting

Fixes an issue with code highlighting in PHP