PHP: convert date into seconds?
<p>I've a date like <strong>Tue Dec 15 2009</strong>. How can I convert it into seconds?</p>

<p>Update:
How can I convert a date formatted as above to Unix timestamp?</p>
