Also test with PHP 5.5 on Travis CI
Merge branch '3.7' into 3.8
Merge branch '3.8'