Merge 619d13b into e5eca12

.php_cs.dist

@@ -36,12 +36,6 @@ $rules = [
     '@PHP56Migration' => true,
     '@PHP56Migration:risky' => true,
     '@PHPUnit57Migration:risky' => true,
-    '@PHP70Migration' => true,
-    '@PHP70Migration:risky' => true,
-    '@PHPUnit60Migration:risky' => true,
-    '@PHP71Migration' => true,
-    '@PHP71Migration:risky' => true,
-    'compact_nullable_typehint' => true,
     // To be tested before insertion:
 //    'strict_comparison' => true,
 //    'strict_param' => true,

.travis.yml

@@ -10,7 +10,6 @@ branches:
 language: php
 
 php:
-  - '7.1'
   - '7.2'
   - nightly
 
@@ -41,7 +40,7 @@ matrix:
       env: TARGET=docs
     - php: '7.2'
       env: TARGET=lint
-    - php: '7.1'
+    - php: '7.2'
       env: COMPOSER_FLAGS="--prefer-lowest"
     - php: '7.2'
       env: SYMFONY=3.4.*