che io sappia una funzione apposta non c'è , e comunque non è neanche un impresa titanica doverlo fare...

Codice PHP:
<?php


function sum_seconds($time)
  {
  list(
$h,$m,$s)=explode(':',$time);
  
$secs_X_h=60*60*$h;
  
$secs_X_m=60*$m;
  return (
$secs_X_h+$secs_X_m+$s);
  }



echo 
sum_seconds('6:45:20');

?>