php syntastic