I'm working with a web service that is doing an HTTP GET request to my server and sending the timestamp value as follows:
timeStamp=Mon+Jul+13+10%3A52%3A00+EST+2015
I then need to covert this into a timestamp I can insert into my database, but I'm having trouble extracting a valid value. I've tried using strtotime, e.g.:
echo(strtotime('Mon+Jul+13+10%3A52%3A00+EST+2015') );
but that doesn't return anything. The timestamp in this example is July 13th, 2015 at 10:52:00.
Looking for a solution to converting this string into a valid timestamp.