| // +--------------------------------------------------------------------+ // // $Id: default-pie.php 11 2003-02-14 03:21:16Z luca $ // require_once 'Hook.php'; require_once 'File/Util.php'; /** * Draws an HTML footer. */ global $CONFIG; $root = $CONFIG['root']; ?>