<?php

for ($i=1; $i <= 12; $i++) {
    $months[$i] = strftime("%B", mktime(0, 0, 0, $i, 1, 2001));
}
print_r($months); // debug
$smarty->assign('months', $months); // useable as options-attribute