- var_dump: documentation ( source)
- timezone_name_from_abbr: documentation ( source)
<?php
var_dump( timezone_name_from_abbr( "", 5.5 * 3600, 0 ) );
$tz = "Etc/GMT+8:45";
try {
new DateTimeZone( $tz );
echo "good: $tz";
} catch ( Exception $e ) {
echo "bad: $tz";
}