Added support for colorizing PHP syntax