PHP Convert MySQL timezone format to PHP timezone

gistfile1.txt

function convertMySQLTimezone($timezone)
{
	$result = preg_match('/(?P<sign>\+|-)(?P<hours>\d{1,2}):(?P<minutes>\d{1,2})/', $timezone, $match);
	if ( ! $result) {
		return timezone_name_from_abbr('UTC');
	}

	$sign = $match['sign'] === '-' ? -1 : 1;
	$hours = $match['hours'];
	$minutes = $match['minutes'];
	$offset = $sign * (($hours * 60) + $minutes * 60) * 60;

	return timezone_name_from_abbr('', $offset, 1);
}