Convert default date to English date

Description :
Convert default date to english date format.

Function :
function date2en($date) {
$tanggal = explode($date);
$array_bulan = array('01'=>'Jan','02'=>'Feb','03'=>'Mar','04'=>'Apr','05'=>'Mei','06'=>'Jun','07'=>'Jul','08'=>'Aug','09'=>'Sept','10'=>'Oct','11'=>'Nov','12'=>'Dec');
$tahun = $tanggal[0];
$bulan = $tanggal[1];
$bulan = $array_bulan[$bulan];
$hari = $tanggal[2];
$format = "$bulan $hari, $tahun";
return $format;
}


Example : 
date2en(2001-12-1)