Convert English time to timestamp

programming
1

Is there a built in PHP function which can convert time written in plain old English to the Unix timestamp? Example:


Oct 03 '08 at 3:39pm