Change colors in the PHP version as well.