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 :D

nunja, du könntest auch:

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

müsste auch gehen :D

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";
?>