php syntax / colorscheme fix