doc/top.php

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