use PHP as the default syntax highlighting