Merge branch '7.5' into 8.4

sebastianbergmann · Oct 14, 2019 · db42bf5 · db42bf5
2 parents 8d633d6 + bec7a7c
commit db42bf5
Showing 1 changed file with 10 additions and 10 deletions.
diff --git a/src/Runner/PhptTestCase.php b/src/Runner/PhptTestCase.php
@@ -397,20 +397,20 @@ private function parse(): array
         $section  = '';
 
         $unsupportedSections = [
-            'REDIRECTTEST',
-            'REQUEST',
-            'POST',
-            'PUT',
-            'POST_RAW',
-            'GZIP_POST',
-            'DEFLATE_POST',
-            'GET',
-            'COOKIE',
-            'HEADERS',
             'CGI',
+            'COOKIE',
+            'DEFLATE_POST',
             'EXPECTHEADERS',
             'EXTENSIONS',
+            'GET',
+            'GZIP_POST',
+            'HEADERS',
             'PHPDBG',
+            'POST',
+            'POST_RAW',
+            'PUT',
+            'REDIRECTTEST',
+            'REQUEST',
         ];
 
         $lineNr = 0;