[web-doc] master: Merge branch 'master' of github.com:php/web-doc

Author: Nilgün Belma Bugüner (nilgun) Date: 2021-05-18T03:53:31+03:00 Commit: https://github.com/php/web-doc/commit/ff6ce8fadeda1f211ca1ecb9e760cfe202cc49cb Raw diff: https://github.com/php/web-doc/commit/ff6ce8fadeda1f211ca1ecb9e760cfe202cc49cb.diff Merge branch 'master' of github.com:php/web-doc Changed paths: M include/lib_general.inc.php Diff: diff --git a/include/lib_general.inc.php b/include/lib_general.inc.php index 05d6232..b9ac212 100644 --- a/include/lib_general.inc.php +++ b/include/lib_general.inc.php @@ -30,6 +30,15 @@ function get_svn_dir($project) function site_header() { + $TITLE = 'Documentation Tools'; + $SUBDOMAIN = 'doc'; + $CSS = array('/styles/doc.css'); + $LINKS = array( + array('href' => '/revcheck.php', 'text' => 'Documentation Tools'), + array('href' => '/tutorial/', 'text' => 'Tutorial for Contributors'), + array('href' => '/phd.php', 'text' => 'PhD Homepage'), + ); + require __DIR__ . '/../shared/templates/header.inc'; echo '<section class="mainscreen">'; @@ -37,9 +46,7 @@ function site_header() function site_footer($SECONDSCREEN = false) { - echo '</section><section class="secondscreen">'; - if ($SECONDSCREEN != false) echo $SECONDSCREEN; - echo '</section>'; + echo '</section>'; require __DIR__ . '/../shared/templates/footer.inc'; }