PHP: Display the date a page last modified

<?php
//displays the time/date a page was last modified
echo "Last modified on: " . date("D m/d/Y h:i:s", filemtime( $PATH_TRANSLATED ));
?>