prova con questa, non ha i microsecondi però. Al limite li aggiungi concatenando una stringa.

http://php.net/manual/en/function.strtotime.php

Codice PHP:
echo strtotime('2013-05-30 18:00:07');