syntastic php