[php] updated ultisnips