Page Last Modified

// Current Page
echo "Last modified on: " . date("d-M-y g:ia", getlastmod());

// Specified Page
$specified_file = "file.html";
echo "$specified_file last modified on: " . date("d-M-y g:ia", filemtime($specified_file));