Cita:
Iniciado por pzin 
Podrías usar
DateTime haciendo algo así:
Código PHP:
$entrada = new DateTime($row_Recordset4['hora_entrada']);
$salida = new DateTime($row_Recordset4['hora_salida']);
$diferencia = $entrada->diff($salida);
echo $diferencia->format("%H:%i");
Gracias, pero lo he puesto y me da un error:
Código PHP:
Fatal error: Call to undefined method DateTime::diff()
Código PHP:
<?php do { ?>
<?
$entrada = new DateTime($row_Recordset4['hora_entrada']);
$salida = new DateTime($row_Recordset4['hora_salida']);
$diferencia = $entrada->diff($salida);
echo $diferencia->format("%H:%i");
?>
<li data-role="list-divider" role="heading">[<?php echo $row_Recordset1['tecnico']; ?>]</li>
<li data-role="list-divider" role="heading"><?php echo $row_Recordset4['fecha']; ?></li><li data-theme="c">
De <?php echo $row_Recordset4['hora_entrada']; ?> a <?php echo $row_Recordset4['hora_salida']; ?><span class="ui-li-count"><?php echo $diferencia ?></span>
<li data-role="list-divider" role="heading">El contador de tiempo se ha parado <?php echo $row_Recordset4['fecha']; ?> a las <?php echo $row_Recordset4['hora_salida']; ?> con nº<?php echo $row_Recordset4['id_contador']; ?><br/></li>
</li>
<?php } while ($row_Recordset4 = mysql_fetch_assoc($Recordset4)); ?>
Gracias