PHP: adding zero-padding

Use str_pad().

str_pad(42, 5, '0', STR_PAD_LEFT); // produces "00042"