update travis
authorMichael Wallner <mike@php.net>
Thu, 16 Jun 2016 08:12:21 +0000 (10:12 +0200)
committerMichael Wallner <mike@php.net>
Thu, 16 Jun 2016 08:12:21 +0000 (10:12 +0200)

No differences found