Merge branch 'PHP-7.1' into PHP-7.2

cmb69 · cmb69 · commit 77ced46dea84 · 2018-07-12T13:46:10.000+02:00
* PHP-7.1:
  Fix Travis build
diff --git a/.travis.yml b/.travis.yml
@@ -1,6 +1,6 @@
 dist: trusty
 language: c
-sudo: false
+sudo: required
 addons:
   apt:
     packages:
