doc/top.php

   1 <?PHP  // $Id$
   2
   3     require("../config.php");
   4
   5     if ($CFG->forcelogin) {
   6         require_login();
   7     }
   8
   9     if (empty($CFG->langmenu)) {
  10         $langmenu = "";
  11     } else {
  12         $currlang = current_language();
  13         $langs    = get_list_of_languages();
  14         $langmenu = popup_form ("$CFG->wwwroot/doc/?lang=", $langs, "chooselang", $currlang, "", "", "", true, "parent");
  15     }
  16
  17     if (! $site = get_site()) {
  18         error("Site is misconfigured");
  19     }
  20     $strdocumentation = get_string("documentation");
  21     print_header("$site->shortname: $strdocumentation", "$site->fullname", "$strdocumentation", "", "", true, $langmenu, navmenu($site, NULL, "parent"));
  22
  23 ?>
  24