<div id='wikiFooter'> <? if ($lastedit) print "last modified $lastedit $lasttime<br />"; print $menu.$banner."<br />".$timer; ?> </div>