Well its not hard to use combination of date() and mktime() functions to get the month name:
function text_month($month) {
if ($month>0 && $month<13)
return(date("F", mktime(0, 0, 0, $month, 1, 2000)));
else
return;
}
echo text_month(12); // Prints December
:p