我应该如何生成以零开头的月份,例如
这是我的代码:
01-12
?这是我的代码:
<?php for($m = 1;$m <= 12; $m++){ $month = date("F", mktime(0, 0, 0, $m));?>
<li><a href="<?php echo site_url('agenda/'.$tgl[0].'/'.$m);?>"><?php echo $month;?></a></li><?php } ?>
输出的URL仍然是1-12
。我希望它显示为01-12
。
echo sprintf()
是一种“反模式”。绝对没有任何理由让任何人在任何代码中写echo sprintf()
,每次都应该使用不带echo
的printf()
。 - undefined