Преобразование RSS pubDate в метку времени ⇐ Php

[Anonymous]

Как преобразовать строку даты понедельник, 24 мая 2010 г. 17:54:00 GMT из RSS-канала в метку времени в PHP?