Using php syntax coloration