Description:
------------
From versions 7.0.17 to 7.0.18 and from 7.1.3 to 7.1.4 many timezone abbreviations were removed as discussed here: http://mm.icann.org/pipermail/tz/2017-February/024837.html

But the changelog (http://php.net/ChangeLog-7.php) does not mention this and neither does http://www.php.net/manual/en/function.date.php

Before the change, the expected return for the test script below was:
MVT
MVT

but after the change it's
+05
+05

To save time tracing this problem, please consider updating documentation to mention the changes, either to say that the 'T' formatter will return the date diff if there is no abbreviation, or to mention it in the change log. It would help in knowing that it's not a bug. A list of valid abbreviations would also be useful. 

Thanks


Test script:
---------------
<?php

$date = new DateTime('Feb 13, 2009 11:31:30 PM', new DateTimeZone('Indian/Maldives'));
echo $date->format('T').PHP_EOL;

$date = date_create('Feb 13, 2009 11:31:30 PM', timezone_open('Indian/Maldives'));
echo date_format($date, 'T').PHP_EOL;

Expected result:
----------------
MVT
MVT


Actual result:
--------------
+05
+05