public function getPageHeaderDiv()
 {
     global $OUTPUT, $PAGE;
     $PAGE->set_context(get_context_instance(CONTEXT_SYSTEM));
     $content = parent::getPageHeaderDivStart();
     $content .= "<div class='headermenu'>" . $OUTPUT->login_info();
     if (!empty($PAGE->layout_options['langmenu'])) {
         $this->content .= $OUTPUT->lang_menu();
     }
     $content .= $PAGE->headingmenu . "</div>";
     $content .= parent::getPageHeaderDivEnd();
     return $content;
 }
 public function getPageHeaderDiv()
 {
     $content = parent::getPageHeaderDivStart();
     $content .= parent::getPageHeaderDivEnd();
     return $content;
 }
 public function printHeader()
 {
     $user = false;
     if ($this->isLoggedIn()) {
         $user = $this->getCurrentUser();
     }
     $header = GcrSymfonyHeaderType::getInstance($user);
     print $header->getContent();
 }