PHP convierte nombre-mes corto en número-mes [duplicado]
Posible duplicado:
convertir mes de nombre a número
Tengo una consulta simple (pero interesante) para todos.
En resumen, recibo el nombre del mes, como enero, febrero, etc. Ahora necesito convertirlo a número de mes (es decir, representación numérica de un mes),con ceros a la izquierda
Ejemplo: "Jan" a "01", "Dec" a "12", etc.
Alguien sabe cómo lograr esto,sin usar matriz
Gracias