Date format conversion in PHP
<p>I have a variable in php:</p>

<pre><code>$d = "19:02:13 Nov 07, 2010 PST";
</code></pre>

<p>What is the quickest way to convert the format so I get (mysql DATETIME):</p>

<pre><code>$d = "2010-11-07 19:02:13";
</code></pre>
