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