remove support for PHP 7.1

VasekPurchart · VasekPurchart · commit 3851be881244 · 2018-12-31T14:10:52.000+01:00
diff --git a/.travis.yml b/.travis.yml
@@ -3,7 +3,6 @@ language: php
 sudo: false
 
 php:
-  - 7.1
   - 7.2
   - nightly
 
diff --git a/composer.json b/composer.json
@@ -11,7 +11,7 @@
 		}
 	],
 	"require": {
-		"php": "~7.1",
+		"php": "~7.2",
 		"phing/phing": "~2.16"
 	},
 	"require-dev": {

-Original file line number
+Diff line change
 sudo: false
 php:
 -  - 7.1
   - 7.2
   - nightly