tratamiento fechas

[jpinedo]

ok.
Ya que tu fecha tiene un formato estándar, puedes utilizar strftime() combinada con strtotime().

Código PHP:

  $tu_fecha = '31-12-2007';
$fecha_formateada = strftime("%d-%b-%y", strtotime($tu_fecha));
echo $fecha_formateada; 
   

Saludos