Remove PHP < 7.1.3 code

ogizanagi · nicolas-grekas · commit b05e3db2ec73 · 2017-05-22T08:50:05.000+02:00
diff --git a/Tests/DateFormatter/AbstractIntlDateFormatterTest.php b/Tests/DateFormatter/AbstractIntlDateFormatterTest.php
@@ -243,9 +243,6 @@ public function formatProvider()
         return $formatData;
     }
 
-    /**
-     * @requires PHP 5.5.10
-     */
     public function testFormatUtcAndGmtAreSplit()
     {
         $pattern = "yyyy.MM.dd 'at' HH:mm:ss zzz";
@@ -318,7 +315,6 @@ public function formatWithTimezoneProvider()
 
     /**
      * @dataProvider formatTimezoneProvider
-     * @requires PHP 5.5
      */
     public function testFormatTimezone($pattern, $timezone, $expected)
     {
@@ -432,8 +428,8 @@ public function testFormatWithDateTimeZoneGmt()
 
     public function testFormatWithDateTimeZoneGmtOffset()
     {
-        if (defined('HHVM_VERSION_ID') || PHP_VERSION_ID <= 50509) {
-            $this->markTestSkipped('DateTimeZone GMT offsets are supported since 5.5.10. See https://github.com/facebook/hhvm/issues/5875 for HHVM.');
+        if (defined('HHVM_VERSION_ID')) {
+            $this->markTestSkipped('See https://github.com/facebook/hhvm/issues/5875');
         }
 
         $formatter = $this->getDateFormatter('en', IntlDateFormatter::MEDIUM, IntlDateFormatter::SHORT, new \DateTimeZone('GMT+03:00'), IntlDateFormatter::GREGORIAN, 'zzzz');

Original file line number	Diff line number	Diff line change
`@@ -243,9 +243,6 @@ public function formatProvider()`
`243`	`243`	`return $formatData;`
`244`	`244`	`}`
`245`	`245`
`246`		`- /**`
`247`		`- * @requires PHP 5.5.10`
`248`		`- */`
`249`	`246`	`public function testFormatUtcAndGmtAreSplit()`
`250`	`247`	`{`
`251`	`248`	`$pattern = "yyyy.MM.dd 'at' HH:mm:ss zzz";`
`@@ -318,7 +315,6 @@ public function formatWithTimezoneProvider()`
`318`	`315`
`319`	`316`	`/**`
`320`	`317`	`* @dataProvider formatTimezoneProvider`
`321`		`- * @requires PHP 5.5`
`322`	`318`	`*/`
`323`	`319`	`public function testFormatTimezone($pattern, $timezone, $expected)`
`324`	`320`	`{`
`@@ -432,8 +428,8 @@ public function testFormatWithDateTimeZoneGmt()`
`432`	`428`
`433`	`429`	`public function testFormatWithDateTimeZoneGmtOffset()`
`434`	`430`	`{`
`435`		`- if (defined('HHVM_VERSION_ID') \|\| PHP_VERSION_ID <= 50509) {`
`436`		`- $this->markTestSkipped('DateTimeZone GMT offsets are supported since 5.5.10. See https://github.com/facebook/hhvm/issues/5875 for HHVM.');`
	`431`	`+ if (defined('HHVM_VERSION_ID')) {`
	`432`	`+ $this->markTestSkipped('See https://github.com/facebook/hhvm/issues/5875');`
`437`	`433`	`}`
`438`	`434`
`439`	`435`	`$formatter = $this->getDateFormatter('en', IntlDateFormatter::MEDIUM, IntlDateFormatter::SHORT, new \DateTimeZone('GMT+03:00'), IntlDateFormatter::GREGORIAN, 'zzzz');`