- mktime: documentation ( source)
- date_default_timezone_set: documentation ( source)
- date: documentation ( source)
<?php
date_default_timezone_set('UTC');
$timestamp = mktime(0,257);
echo date('H:i', $timestamp), PHP_EOL;
date_default_timezone_set('Asia/Tokyo');
echo date('H:i', $timestamp);