Formatera datum i PHP

Tjabba!

Har en kod som läser ut data från en XML-fil. Dock så har jag nu fastnat lite när det gäller datumet som hör till respektive post i XML-filen.

Formatet som jag hämtar från XML-filen ser ut enl. följande:
Thu, 01 Nov 2007 09:31:00 +0100

Jag undrar hur jag kan göra för att formatera om detta datum till
2007-11-01 09:31

Finns det någon inbyggd funktion i PHP som jag kan köra och hur skulle den isåfall se ut?

http://se.php.net/date

date("Y-m-d H:i")

... hur man sätter det på en bevintlig sträng vet jag inte (har inte läst php men det bör stå i länken)

$oldDate = 'Thu, 01 Nov 2007 09:31:00 +0100';
echo date('Y-m-d H:i', strtotime($oldDate));

Pedda: Tack för hjälpen, din exempelkod fungerade fin fint :) hade!