1 <?php if (!defined('AT_INCLUDE_PATH')) { exit; } ?>
3 <?php if (isset($_SESSION['course_id']) && $_SESSION['course_id'] > 0): ?>
4 <div style="clear: left; text-align:right;" id="gototop">
6 <span style="font-size:smaller;padding-right:3px;"><a href="<?php echo htmlspecialchars($_SERVER['REQUEST_URI'], ENT_QUOTES); ?>#content" title="<?php echo _AT('goto_content'); ?> Alt-c" ><?php echo _AT('goto_top'); ?>
7 <img src="<?php echo $this->base_path; ?>themes/default/images/top.gif" alt="<?php echo _AT('goto_top'); ?> Alt-c" border="0"/>
18 <?php require(AT_INCLUDE_PATH.'html/languages.inc.php'); ?>
19 <?php require(AT_INCLUDE_PATH.'html/copyright.inc.php'); ?>
21 </div> <!-- end page wrapper -->