我知道我可以为$month_num =>定义一个数组$month_name,但是我想知道PHP中是否有时间函数可以做到这一点,而不需要数组？
date("F",mktime(0,$monthnumber,1,2011));
