PHP converte nome do mês curto em número do mês [duplicado]
Possível duplicado:
converter mês do nome para o número
Eu tenho uma consulta simples (mas interessante) para todos.
Estou recebendo o nome do mês, em resumo, como janeiro, fevereiro etc. Agora, preciso convertê-lo para número do mês (ou seja, representação numérica de um mês),com zeros à esquerda
Exemplo: "Jan" a "01", "Dez" a "12" etc.
Alguém sabe, como conseguir isso,sem usar matriz
obrigado