mirror of
https://github.com/php/web-doc.git
synced 2025-08-13 14:40:31 +00:00
Moved generation date to correct place
This commit is contained in:
@ -393,13 +393,13 @@ END_OF_MULTILINE;
|
|||||||
if ($lang == 'en') {
|
if ($lang == 'en') {
|
||||||
echo '<img src="images/revcheck/info_revcheck_php_all_lang.png" alt="Info" class="chart">';
|
echo '<img src="images/revcheck/info_revcheck_php_all_lang.png" alt="Info" class="chart">';
|
||||||
echo '<p>This is all what we can show for original manual. To get more tools, please select translation language.</p>';
|
echo '<p>This is all what we can show for original manual. To get more tools, please select translation language.</p>';
|
||||||
|
echo gen_date($DBLANG);
|
||||||
$sidebar = nav_languages();
|
$sidebar = nav_languages();
|
||||||
site_footer($sidebar);
|
site_footer($sidebar);
|
||||||
}
|
}
|
||||||
else {
|
else {
|
||||||
echo '<p>Please choose a specified tool from the right side.</p>';
|
echo '<p>Please choose a specified tool from the right side.</p>';
|
||||||
}
|
}
|
||||||
echo gen_date($DBLANG);
|
|
||||||
break;
|
break;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
Reference in New Issue
Block a user