What is the reason for IntlDateFormatter
returning different values for a UTC time across these different servers (see last output line from examples below)?
Server A
> php --version
PHP 7.3.6 (cli) (built: Jun 17 2019 21:27:20) ( NTS )
Copyright (c) 1997-2018 The PHP Group
Zend Engine v3.3.6, Copyright (c) 1998-2018 Zend Technologies
> php -a
Interactive shell
php > $fmt = new \IntlDateFormatter('en_US', \IntlDateFormatter::FULL, \IntlDateFormatter::FULL, 'UTC', \IntlDateFormatter::GREGORIAN);
php > echo $fmt->format(new \DateTime('July 1, 2019 12:00pm'));
Monday, July 1, 2019 at 12:00:00 PM GMT
Server B
> php --version
PHP 7.3.7 (cli) (built: Jul 3 2019 22:04:27) ( NTS )
Copyright (c) 1997-2018 The PHP Group
Zend Engine v3.3.7, Copyright (c) 1998-2018 Zend Technologies
with Zend OPcache v7.3.7, Copyright (c) 1999-2018, by Zend Technologies
> php -a
Interactive shell
php > $fmt = new \IntlDateFormatter('en_US', \IntlDateFormatter::FULL, \IntlDateFormatter::FULL, 'UTC', \IntlDateFormatter::GREGORIAN);
php > echo $fmt->format(new \DateTime('July 1, 2019 12:00pm'));
Monday, July 1, 2019 at 12:00:00 PM Coordinated Universal Time