tempo inicial, final e resultado (hora:minuto:segundo)

Boa tarde, estou tentando descobrir o tempo que o usuário leva para preencher um determinado formulário. Porém a lógica ta braba!tenho:$ti = date("his");$tf = date("his");Existe alguma função que me retorne o tempo gasto no formato (hh:ii:ss) ?Quanto ao cálculo ta sinistro.. tentei converter tudo para segundo mas é uma confusão só na hora de retornar o valor no formato..