PHP: Convert date to timestamp

PHP's strtotime() gives

$timestamp = strtotime('22-09-2008');

Which does work with the Supported Date and Time Formats Docs.