Ik weet niet of er zo een functie voor is, maar wat je wel zou kunnen doen is zoiets:
<?php
function format_int($number){
$newnumber = (string) "";
if($number > 10){
$newnumber = "00".$number;
}elseif($number > 100){
$newnumber = "0".$number;
}else{
$newnumber = $number;
}
return $newnumber;
}
?>