[DOC-WEB] [web-doc] master: Link back to main page for language

Author: Jim Winstead (jimwins)
Date: 2024-10-24T10:52:04-07:00

Commit: https://github.com/php/web-doc/commit/2119b74e82e01781d95d6b9f09f8c4329e026591
Raw diff: https://github.com/php/web-doc/commit/2119b74e82e01781d95d6b9f09f8c4329e026591.diff

Link back to main page for language

Changed paths:
  M  include/lib_general.inc.php


Diff:

diff --git a/include/lib_general.inc.php b/include/lib_general.inc.php
index 936f48b..c88fae2 100644
--- a/include/lib_general.inc.php
+++ b/include/lib_general.inc.php
@@ -94,7 +94,9 @@ function nav_tools($lang)
 {
     global $LANGUAGES;
     $out = '<div class="panel">';
-    $out .= '<p class="headline">Tools ('.$LANGUAGES[$lang].' Manual)</p>';
+    $out .= '<p class="headline">';
+    $out .= '<a href="revcheck.php?lang='.$lang.'">Tools ('.$LANGUAGES[$lang].' Manual)</a>';
+    $out .= '</p>';
     $out .= '<div class="body">';
     $out .= '<ul>';
     $out .= '<li><a href="revcheck.php?p=translators&amp;lang='.$lang.'">Translators</a></li>';