Justo tengo una pequeña funcion para mi juego online que hace eso mismo:
Código PHP:
// Funcion que agrega ceros a la izquierda de otra variable
function agregaceros($longitud,$variable) {
return str_repeat("0",$longitud-strlen($variable)).$variable;
}
Si escribes
echo agregaceros("1",3); te devolvera
001
Ya me diras si te sirvio, saludos y buen karma