0001 - как вывести цифры в таком формате (php)?

echo '000'.$number;

$len = strlen($number);

$number = $len < 4 ? str_repeat('0', $len).$number : $number;

function my_number($num){return myformated number;}

echo sprintf ("%04d", 17);

str_pad() в помощь.

$n = 237;
function zeroN($n, $z) {
	if(!preg_match("~^[0-9]+$~", $n)) return $n;
	return str_repeat('0', $z-strlen($n)).$n;
}
echo zeroN($n, 6);

или просто без проверок:

echo str_repeat('0', 6-strlen($n)).$n;

или как Mad_Man

echo str_pad($n, 6, "0", STR_PAD_LEFT);

результат 000237

ТС, никого не слушайте, единственный правильный вариант вам предложил человек с неуместной для этого форума подписью

С каких пор в этой профессии существуют единственно правильные варианты?

ну потому что остальные предложенные (кроме ещё вашего), совсем уж велосипеды какие-то, имхо

printf("%04d", 1);

Это в php по фэншую так сказано?

оно и есть самое правильное:

sprintf; функция как раз для форматирования строки.