Necesito saber como dar un formato a una fecha

hola como estan todos!
estuve investigando como poner formato a una fecha ya que me sale como se captura y yo quiero que me salga asi

4 feb 2009

y encontre estos ejemplos pero no los puedo aplicar en el codigo.

{$fecha | date_format:"%d/%m/%Y"}
Recibe: "2005-04-26" Devuelve: "26/04/2005"

{$fecha | date_format:"%A %d/%m/%Y - %H:%M hs."| capitalize}

Recibe: "2005-05-04 16:00:00-03" Devuelve: "Miércoles 04/05/2005 - 16:00 Hs."


me podrian mostrar un ejemplo completo en php de como poner esa fecha en el formato 4 feb 2009, ocupo el codigo para nada mas correrlo, ya despues lo adaptare a loque estoy haciendo.

eso lo hacemos los cubanos asi brother...copialo exactamente para ke veas ke funciona.
.y luego lo modificas si kieres.... jejeje

$a = "2005-05-04";// es la fecha ke recives

$mes = array('01'=>"Ene",'02'=>"Feb",'03'=>"Mar",'04'=>"Abr",'05'=>"May",'06'=>"Jun",'07'=>"Jul",
'08'=>"Ago",'09'=>"Sep",'10'=>"Oct",'11'=>"Nov",'12'=>"Dic");// la variable mes es el arreglo

$x = explode("-",$a);
$fecha = $x[2]." ".$mes[$x[1]]." ".$x[0];

echo $fecha;

$fecha = 20-02-2009;

$fecha = explode("-", $fecha);

$fecha_stamp = mktime(0, 0, 0, $fecha[1], $fecha[0], $fecha[2]);
$fecha_formateada = date("d/m/Y H:i:s", $fecha_stamp); // ->> Saldría 24/02/2009 0:0:0

Juega en la funcion date para devolver la fecha en un formato u otro. En http://www.php.net/manual/es/ encontrarás la lista de formatos para la función date.