<?php

function last_modified$file$suppress_heading )
{
    
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 === ) )
    {
         echo( 
"<em>Last modified:</em>&nbsp; " ) ;
    }
    echo( 
date"D M d H:i:s T Y"$modified_date ) ) ;
}

?>