Nama Bulan

Buatlah sebuah fungsi menggunakan bahasa PHP, yang menghasilkan nama bulan dalam Bahasa Indonesia. Input dari fungsi adalah satu buah angka yang merupakan presentasi numerik dari sebuah bulan. Input sudah dianggap valid, berada dalam rentang 1 sampai 12. Jawaban saya sebagai pemikir yang masih belum juga beranjak ke tingkat "sophisticated" adalah seperti di bawah ini.
Dengan bentuk penggunaan fungsi seperti berikut
echo nama_bulan(2);
akan menampilkan tulisan Februari.
Ada lima jawaban dengan hasil sama. Mana yang paling Anda sukai?

function nama_bulan ($x) {
    if ($x == 1 ) { $bulan = "Januari"; }
    if ($x == 2 ) { $bulan = "Februari"; }
    if ($x == 3 ) { $bulan = "Maret"; }
    if ($x == 4 ) { $bulan = "April"; }
    if ($x == 5 ) { $bulan = "Mei"; }
    if ($x == 6 ) { $bulan = "Juni"; }
    if ($x == 7 ) { $bulan = "Juli"; }
    if ($x == 8 ) { $bulan = "Agustus"; }
    if ($x == 9 ) { $bulan = "September"; }
    if ($x == 10) { $bulan = "Oktober"; }
    if ($x == 11) { $bulan = "November"; }
    if ($x == 12) { $bulan = "Desember"; }
    return $bulan;
}

function nama_bulan ($x) {
    if     ($x == 1 ) { $bulan = "Januari"; }
    elseif ($x == 2 ) { $bulan = "Februari"; }
    elseif ($x == 3 ) { $bulan = "Maret"; }
    elseif ($x == 4 ) { $bulan = "April"; }
    elseif ($x == 5 ) { $bulan = "Mei"; }
    elseif ($x == 6 ) { $bulan = "Juni"; }
    elseif ($x == 7 ) { $bulan = "Juli"; }
    elseif ($x == 8 ) { $bulan = "Agustus"; }
    elseif ($x == 9 ) { $bulan = "September"; }
    elseif ($x == 10) { $bulan = "Oktober"; }
    elseif ($x == 11) { $bulan = "November"; }
    elseif ($x == 12) { $bulan = "Desember"; }
    return $bulan;
}

function nama_bulan ($x) {
    switch ($x) {
        case 1  : $bulan = "Januari"; break;
        case 2  : $bulan = "Februari"; break;
        case 3  : $bulan = "Maret"; break;
        case 4  : $bulan = "April"; break;
        case 5  : $bulan = "Mei"; break;
        case 6  : $bulan = "Juni"; break;
        case 7  : $bulan = "Juli"; break;
        case 8  : $bulan = "Agustus"; break;
        case 9  : $bulan = "September"; break;
        case 10 : $bulan = "Oktober"; break;
        case 11 : $bulan = "November"; break;
        case 12 : $bulan = "Desember";
    }
    return $bulan;
}

function nama_bulan ($x) {
    $bulan = array ('','Januari','Februari','Maret','April',
             'Mei','Juni','Juli','Agustus',
             'September','Oktober','November','Desember');
    return $bulan[$x];
}

function nama_bulan ($x) {
    $bulan = array (1=>'Januari',2=>'Februari',3=>'Maret',4=>'April',
             5=>'Mei',6=>'Juni',7=>'Juli',8=>'Agustus',
             9=>'September',10=>'Oktober',11=>'November',12=>'Desember');
    return $bulan[$x];
}