[PHP] Month name -> number

Is there any way to convert a string containing the month name into the month number? For example, if $name = “Jan”, I want “1”.