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