De cadena a Fecha

Muchas veces me he topado con el dilema de cambiar un formato largo a corto en las fechas, asi que les dejo esto para que puedan usarlo, esto es con PHP

$fechaDoc=date("d/m/Y",strtotime($data[15]));

$fechaDoc: Variable que contendra la nueva fecha
date(): funcion para obtener fecha
strtotime(): funciòn para conertir de formato largo a tipo de fecha stilo unix.
"d/m/Y": parametros para recobrar los datos

Supongmos que
$data[15]="Jueves 25 de Julio de 2007. 12:00:00AM"
entonces el resultado seria
25/07/2007
asi de fácil