1--TEST--
2Bug #44780 (some time zone offsets not recognized by timezone_name_from_abbr)
3--FILE--
4<?php
5var_dump( timezone_name_from_abbr("", 5.5*3600, false) );
6var_dump( timezone_name_from_abbr("", 28800, false) );
7?>
8--EXPECT--
9string(12) "Asia/Kolkata"
10string(13) "Asia/Shanghai"
11
