Transformar fecha de Google Calendar

[Chenon]

Yo usaría un explode();

Una vez separados por espacio, iria montando la cadena a mi gusto.

En el caso del mes, como no viene representado numericamente, tendría que hacer un switch.

Código PHP:

switch($mes){
   case 'jul': $mes_num = '07'; break;
   case 'ago': $mes_num = '08'; break;
//   ......
}