note 117860 added to class.datetimezone

It seems like as of PHP 5.5, creating a new DateTimeZone with a string like 'EDT' will cause DateTimeZone::getName() to return 'EDT' whereas prior to 5.5 it would convert it would have returned 'America/New_York' This is of particular note when using a DateTimeZone object to change the timezone on a DateTime object. Using a DateTimeZone object when set as shown above will cause the conversion to be wrong without throwing any errors. ---- Server IP: 72.52.91.14 Probable Submitter: 98.103.111.174 ---- Manual Page -- http://php.net/manual/en/class.datetimezone.php Edit -- https://master.php.net/note/edit/117860 Del: integrated -- https://master.php.net/note/delete/117860/integrated Del: useless -- https://master.php.net/note/delete/117860/useless Del: bad code -- https://master.php.net/note/delete/117860/bad+code Del: spam -- https://master.php.net/note/delete/117860/spam Del: non-english -- https://master.php.net/note/delete/117860/non-english Del: in docs -- https://master.php.net/note/delete/117860/in+docs Del: other reasons-- https://master.php.net/note/delete/117860 Reject -- https://master.php.net/note/reject/117860 Search -- https://master.php.net/manage/user-notes.php