File Modified time in php

<?php

echo filemtime("mini.html");

echo "<br />";

echo "Last modified: ".date("F d Y H:i:s.",filemtime("mini.html"));

?>