Como obter a descrição do mês através do número dele em PHP

Me deparei com uma situação interessante onde eu precisava apresentar a descrição do mês a partir do valor numérico dele, se caso o número for 1, seria Janeiro, caso fosse 12 seria dezembro, cheguei ao seguinte resultado:

for($m=1;$m<=12;$m++){ 
    $month=date("M", mktime(0,0,0,$m,1,2000)); 
    $mon["$month"]=$m; 
} 

echo '<pre>';
print_r($mon);
echo '</pre>';

Joguei em um laço de repetição pra mostrar todos os meses, mas o segredo esta só aqui:

date("M", mktime(0,0,0, $numero_mes ,1,2000));