<?php

function last_modified( $file, $suppress_heading = 0 )
{
    date_default_timezone_set( "America/Toronto" ) ;
    $modified_date = filemtime( $file ) ;
    /* Sat Jan  7 15:11:48 EST 2006  */
    if ( ( ! isset( $suppress_heading ) ) or
         ( $suppress_heading === 0 ) )
    {
         echo( "<em>Last modified:</em>&nbsp; " ) ;
    }
    echo( date( "D M d H:i:s T Y", $modified_date ) ) ;
}

?>