Update documentation with PHP colors ;)