<?php
$date = new DateTime('00:12:00');
$date->sub(new DateInterval('PT1H'));
echo $date->format('h:i:s') . "\n";