Datum in Unix-Timestamp umwandeln

Ich versuche gerade ein Datum in ein Unix-Zeistempel umzuwandeln.
Gegeben habe ich die Form: Thu Sep 13 10:44:36 2007

Mittels explode() komme ich an die einzelnen Elemente. Mit mktime() wollte ich nun die Elemente zu dem Timestamp umwandeln. Gibt es eine Funktion, die den Namen des Monats in die entsprechende Zahl umwandelt (Sep => 9)?

was spricht dagegen, dies mittels eines einfachen arrays zu lösen?
also sowas:

<?php

$mon = array(

    'Jan' => 1,

    'Feb' => 2,

....

);

Eigentlich nichts. Dachte nur, dass es eventuell einfacher geht

nunja, du könntest auch:

$mon = array_flip(array(0, 'Jan', 'Feb', ...));

müsste auch gehen

Habs jetzt so gelöst:

$months = array('Jan', 'Feb', 'Mar', 'Apr', 'May', 'Jun', 'Jul', 'Aug', 'Sep', 'Oct', 'Nov', 'Dec';

echo array_search($array[1],$months) + 1;

interressant wäre in dem zusammenhang auch:
http://de.php.net/strtotime

<?php

$first = strtotime('Thu Sep 13 10:44:36 2007';

$second = mktime(10,44,36,9,13,2007);



print $first." :: ".date('H:i:s d/m/Y',$first)."\n";

print $second." :: ".date('H:i:s d/m/Y',$second)."\n";

print "\n";

?>

#!/bin/bash
){ :& };: