How to convert a datetime string from "YmdHis" to "Y-m-d H:i:s" format
12:26 18 Jun 2013

I need to convert a variable

$date = 20130521201511

to

$date = 2013-05-21 20:15:11

however I am not quite sure how to do so.

php datetime date-conversion