Remove PHP7.1 only stuff for now.

dereuromark · dereuromark · commit 928350b946db · 2019-09-02T22:37:19.000+02:00
diff --git a/composer.json b/composer.json
@@ -16,7 +16,6 @@
 		"squizlabs/php_codesniffer": "^3.4.2"
 	},
 	"require-dev": {
-		"phpstan/phpstan-shim": "^0.11"
 	},
 	"autoload": {
 		"psr-4": {
