title: PHP: convert date into seconds?
body: <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>