Attempt at fixing Travis for php 7.2
authorgggeek <giunta.gaetano@gmail.com>
Sun, 3 Sep 2017 18:33:11 +0000 (19:33 +0100)
committergggeek <giunta.gaetano@gmail.com>
Sun, 3 Sep 2017 18:33:11 +0000 (19:33 +0100)

No differences found