如何将0000增加1并保持格式化?

zx.*_*zx. 4 php

$i=0000;
while($i<=1231)
{
  print "$i";
  $i++;
}
Run Code Online (Sandbox Code Playgroud)

我希望它显示0001, 0002, 0003, 0004,而是它打印: 0, 1, 2

有谁知道为什么这不起作用?
先感谢您.

dev*_*ler 10

尝试使用 printf("%04s",$i);