Min naar tijd formaat

<?

$min = 90;

//Dat moet dan 1:30:00 worden
?>

<?
 
$min = 90;
 
//Dat moet dan 1:30:00 worden
?>

<?php
$min = 90;

$tijdomgezet = gmdate("H:i:s",$min);

echo $tijdomgezet;
?>

<?php
$min = 90;
 
$tijdomgezet = gmdate("H:i:s",$min);
 
echo $tijdomgezet;
?>

$uur = floor($min/60);
$min = $min%60;

$uur = floor($min/60);
$min = $min%60;