Revision fcd938e242dd0934516fb13bc6da01be50d4336d

Committed on 14/12/2017 4:08 am by Edi Modrić <edi@netgen.hr> [GitHub Diff]

Add PHP 7.1 and 7.2 to Travis, remove PHP 5.5