chore(php) Update to PHP7.1.

hoaproject / Devtools

The Hoa\Devtools library.

https://hoa-project.net/

6 stars 6 forks source link

Open shulard opened 6 years ago

shulard commented 6 years ago

This PR is here to address the hoaproject/Central#75 RFC.

shulard commented 6 years ago

I haven't updated required libraries versions since it throws some composer update errors...

Is there a guideline about that ? I've seen some message about using dev-master but is it also true for the devtools ?