public function testConstructorDefaultTimeZoneIntl()
 {
     $this->skipIfIntlExtensionIsNotLoaded();
     $formatter = new \IntlDateFormatter('en', StubIntlDateFormatter::MEDIUM, StubIntlDateFormatter::SHORT);
     // In PHP 5.5 default timezone depends on `date_default_timezone_get()` method
     if ($this->isGreaterOrEqualThanPhpVersion('5.5.0-dev')) {
         $this->assertEquals(date_default_timezone_get(), $formatter->getTimeZoneId());
     } else {
         $this->assertNull($formatter->getTimeZoneId());
     }
 }
 public function testConstructorDefaultTimeZoneIntl()
 {
     $this->skipIfIntlExtensionIsNotLoaded();
     $formatter = new \IntlDateFormatter('en', StubIntlDateFormatter::MEDIUM, StubIntlDateFormatter::SHORT);
     $this->assertNull($formatter->getTimeZoneId());
 }