3v4l.org

run code in 300+ PHP versions simultaneously
<?php $DateString = rawurldecode('Tue%20Oct%2015%202013%2001:00:00%20GMT+0100%20(BST)'); echo date('Y-m-d H:i:s', strtotime($DateString)); ?>
preferences:
38.24 ms | 402 KiB | 5 Q