Author: Luffy (sy-records) Committer: GitHub (web-flow) Pusher: sy-records Date: 2024-10-17T08:14:28+08:00
Commit: https://github.com/php/web-php/commit/67fa1d01ec17aad86517fa101965ba003333af15 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
