Author: Luffy (sy-records)
Committer: GitHub (web-flow)
Pusher: sy-records
Date: 2024-10-17T08:14:28+08:00
Commit: Remove useless repo parameter (#1095) · php/web-php@67fa1d0 · GitHub
Raw diff: https://github.com/php/web-php/commit/67fa1d01ec17aad86517fa101965ba003333af15.diff
Remove useless repo parameter (#1095)
Changed paths:
A include/ui_translation/pt_br.ini
D include/ui_translation/pt_BR.ini
M include/shared-manual.inc
Diff:
diff --git a/include/shared-manual.inc b/include/shared-manual.inc
index f104d1549d..8610f112fc 100644
--- a/include/shared-manual.inc
+++ b/include/shared-manual.inc
@@ -44,6 +44,7 @@ function manual_notes($notes):void {
$sorter = new Sorter();
$sorter->sort($notes);
+ $repo = strtolower($LANG);
$addNote = autogen('add_a_note', $LANG);
// Link target to add a note to the current manual page,
// and it's extended form with a [+] image
@@ -420,7 +421,7 @@ function manual_footer($setup): void {
</div>
CONTRIBUTE;
- manual_notes($USERNOTES, $repo);
+ manual_notes($USERNOTES);
site_footer([
'related_menu' => $__RELATED['toc'],
'related_menu_deprecated' => $__RELATED['toc_deprecated'],
@@ -475,6 +476,7 @@ function autogen(string $text, string $lang) {
static $translations = ;
$lang = ($lang === "") ? "en" : $lang;
+ $lang = strtolower($lang);
if (isset($translations[$lang])) {
if (isset($translations[$lang][$text]) && $translations[$lang][$text] !== "") {
return $translations[$lang][$text];
diff --git a/include/ui_translation/pt_BR.ini b/include/ui_translation/pt_br.ini
similarity index 100%
rename from include/ui_translation/pt_BR.ini
rename to include/ui_translation/pt_br.ini