VladPolskiy/php-web-doc
1
0
Fork 0
mirror of https://github.com/php/web-doc.git synced 2025-08-01 16:41:32 +00:00
Code Issues Packages Projects Releases Wiki Activity

Link back to main page for language

Browse Source
This commit is contained in:
Jim Winstead
2024-10-24 10:52:04 -07:00
parent c314630ee8
commit 2119b74e82
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
include/lib_general.inc.php
View File

@ -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>';