将月份从名称转换为数字

有一个简单的方法来改变$month = "July";，这样$nmonth = 7

（07就可以了太）。我可以做一个case语句，但是肯定有一个要转换的函数吗？编辑：我希望我可以接受多个答案，因为你们两个基本上给了我我所需的力量。

$nmonth = date('m',strtotime($month));

这将给出的数值$month。谢谢！

是，

$date = 'July 25 2010';
echo date('d/m/Y', strtotime($date));

将m月份格式化为其数字表示形式。