Revision cc04d22a0935e087f8e172e46e5d04be92c72b62

Committed on 03/03/2018 5:58 am by Davide Pastore <pasdavide@gmail.com> [GitHub Diff]

Add PHP 7.1 to Travis build