Making some PHP-specific colourscheme customisations.