This PR was merged into the 1.4-dev branch.

Discussion
----------

Add testing on PHP 7.1

Commits
-------

17830e3 Add testing on PHP 7.1