Jednoducho:
Kód:
echo date('G:i:s', $cas2-$cas1);
respektíve v tvojom formáte:
Kód:
$cas3 = $cas2-$cas1;
echo '<strong>'.date('G', $cas3).'h:'.date('m', $cas3).'m:'.date('s', $cas3).'s</strong>';
Predpokladá sa však, že vždy vieš kedy sa užívateľ odhlásil, čo pravda nie je, pretože niektorí užívatelia len zatvoria prehliadač a tak nemáš čas kedy sa odhlásil... To už si ale musíš ošetriť sám.
PS: Tominator: načo na to ísť jednoducho, keď sa dá zložito, že?