PHP: Число с ведущими нулями

Возникает необходимость выводить числа с ведущими нулями (например, дата вида 01.02.2010). Небольшие кусочки кода (так называемые сниппеты) позволяют сделать это без лишних манипуляций.

Функция

<?php
function numberFormat($digit, $width) {
    while(strlen($digit) < $width)
      $digit = '0' . $digit;
      return $digit;
}

Использовать достаточно просто:

<?php
$str = 1;
echo numberFormat($str, 4);
// Выведет "0001"

str_pad()

<?php
$str = '1';
echo str_pad($str, 4, '0', STR_PAD_LEFT);
// Выводит "0001"

sprintf()

<?php
$str = '1';
echo sprintf("%04d", $str);
// Выводит "0001"