PHP Last date a file was modified

Last date a file was modified

<?
echo date("dS F, Y h:ia", filemtime('index.php'));
?>