Cómo recortar el tiempo de la marca de tiempo usando php

$mysqlDateTime = "2012-07-30 10:12:39";

Si solo necesita la fecha de eso, puede usar algo como este (fácil):

list($date, $time) = explode(" ", $mysqlDateTime);
echo $date;

Sin embargo, también puede usar algo como esto:

echo date("Y-m-d", strtotime($mysqlDateTime));

EDITAR

La solución de donald123 también puede ser interesante para ti.