Diferencia de tiempos

[Alexis88]

Es curioso que tu hosting tenga una versión de PHP inferior a la 5.2.0, la cual, según el manual oficial, es la versión en la que fue implementada esta clase. Creí que la más antigua que se usa actualmente es la 5.2.3, pero bueno.

Otra manera más rudimentaria de hacer esto:

Código PHP:

$a = strtotime('00:12:43');
$b = strtotime('00:14:12');
$h = 0; $m = 0; $s = $a - $b;
$s = $s < 0 ? -$s : $s;
while ($s > 59){
    $s -= 60;
    $m++;
}
while ($m > 59){
    $m -= 60;
    $h++;
}
$h = $h < 10 ? '0' . $h : $h;
$m = $m < 10 ? '0' . $m : $m;
$s = $s < 10 ? '0' . $s : $s;
echo $h . ':' . $m . ':' . $s; //00:01:29
 

Supongo que utilizando otras funciones de fecha y hora podrías ahorrarte algunas líneas, pero viendo tu problema de versión de PHP, creo que esto sería lo más adaptable posible a versiones antiguas de PHP.

Saludos