Merge branch 'PHP-7.1' into PHP-7.2

smalyshev · smalyshev · commit 1f78b1dfd071 · 2018-12-02T16:04:33.000-08:00
* PHP-7.1:
  Don't need interactive progress on git clones in Travis
diff --git a/.travis.yml b/.travis.yml
@@ -1,3 +1,6 @@
+git:
+  quiet: true
+
 dist: trusty
 language: c
 sudo: required
