How to read the XSD datetime format in PHP ?

Question

Is there a function, class, or extension in PHP that can handle the XSD datetime format?
It's a standard XML date & time format, that looks like this:

<date>2008-02-28T07:56:35.263</date>

I know I can read it with a regular expression, if no solution is given, I'll default to that.

Thanks!

PS: Solved, look at the answers.

Answer 1

Sorry, it was as simple as

strtotime( $xsd_formatted_date )

I leave the question in case it's useful to others, if not, just delete it.

Answer 2

strtotime() should be able to handle it.