From a9aafdff2e6276ad445d198978f9556fd78261bf Mon Sep 17 00:00:00 2001
From: "Christoph M. Becker" <cmbecker69@gmx.de>
Date: Tue, 24 Mar 2015 19:43:30 +0100
Subject: [PATCH] selects "Other" in language chooser if current language
 should not be available (fixes #67629)

---
 include/shared-manual.inc | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/include/shared-manual.inc b/include/shared-manual.inc
index 9d330f621..d693c2519 100644
--- a/include/shared-manual.inc
+++ b/include/shared-manual.inc
@@ -464,7 +464,8 @@ function manual_language_chooser($currentlang, $currentpage) {
     }
 
     // Print out the form with all the options
-    $format_options = function (array $links) use ($currentlang) {
+    $othersel = ' selected="selected"';
+    $format_options = function (array $links) use ($currentlang, &$othersel) {
         $out = '';
         $tab = str_repeat('  ', 6);
         foreach ($links as $link) {
@@ -472,6 +473,7 @@ function manual_language_chooser($currentlang, $currentpage) {
             $selected = '';
             if ($lang == $currentlang) {
                 $selected = ' selected="selected"';
+                $othersel = '';
             }
             $out .= "$tab<option value='$value'$selected>$text</option>\n";
         }
@@ -483,7 +485,7 @@ function manual_language_chooser($currentlang, $currentpage) {
           <label for="changelang-langs">Change language:</label>
           <select onchange="document.changelang.submit()" name="page" id="changelang-langs">
             {$format_options($links)}
-            <option value="help-translate.php">Other</option>
+            <option value="help-translate.php"{$othersel}>Other</option>
           </select>
         </fieldset>
       </form>