<?php $DateString = rawurldecode('Tue%20Oct%2015%202013%2001:00:00%20GMT+0100%20(BST)'); echo $DateString; ?>
You have javascript disabled. You will not be able to edit any code.