What alternative PHP functions or methods can be used to convert seconds to a formatted time string for display purposes?

When converting seconds to a formatted time string for display purposes in PHP, you can use the `gmdate()` function to format the seconds into hours, minutes, and seconds. This function takes two parameters: the format string and the number of seconds to be formatted. By specifying the format string as 'H:i:s', you can convert the seconds into a time string in the format of hours, minutes, and seconds.

function formatSecondsToTime($seconds) {
    return gmdate("H:i:s", $seconds);
}

// Example usage
$seconds = 3660; // 1 hour and 1 minute
echo formatSecondsToTime($seconds); // Output: 01:01:00