Revision 81e8c65784c23018d0e1efe803a58a69bb14c6f3

Committed on 22/01/2018 6:07 am by André R <andre.romcke@gmail.com> [GitHub Diff]

[Travis] Fix PHP version & platform version for PHP 5.6