strange behavior in PHP function: timezone_name_from_abbr
<p>echo timezone_name_from_abbr("", 3600*7, 0); //ok<br/>
echo timezone_name_from_abbr("", 3600*8, 0); //NOT ok! return nothing!<br/>
echo timezone_name_from_abbr("", 3600*9, 0); //ok<br/></p>
