tree 3da757f3d4073f141b2ec333b032b5a36de70a6e
parent 49195c536122e8cd89ea34c7745911a5e7197181
author William S Fulton <wsf@fultondesigns.co.uk> 1557254317 +0100
committer William S Fulton <wsf@fultondesigns.co.uk> 1557254317 +0100

Disable Travis php 7.2 testing

There is a certificate error on the unsupported Ubuntu Trusty machines.
Php 7.2 is segfaulting on Ubuntu Xenial, so there is work to be done.