PHP GcrSymfonyHeaderType::getPageHeaderDivEndの例

コード例 #1

ファイル: GcrMdlSiteAdminSymfonyHeaderType.class.php プロジェクト: janaece/globalclassroom4_clean

 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;
 }

コード例 #2

ファイル: GcrNoUserSymfonyHeaderType.class.php プロジェクト: janaece/globalclassroom4_clean

 public function getPageHeaderDiv()
 {
     $content = parent::getPageHeaderDivStart();
     $content .= parent::getPageHeaderDivEnd();
     return $content;
 }