com web/php: Fix undefined index: include/shared-manual.inc
| From: | Paul Dragoonis | Date: | Sat, 01 Jan 2011 19:19:34 +0000 |
| Subject: | com web/php: Fix undefined index: include/shared-manual.inc | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-23682@lists.php.net to get a copy of this message | ||
Commit: b60f74f117a8b895969e8fcd3b9a184620f141ad
Author: Hannes Magnusson <bjori@php.net> Sat, 1 Jan 2011 19:19:34 +0000
Parents: 2e60602d4a419cf49c3eae3e7fa3f882031535ff
Branches: master
Link: http://git.php.net/?p=web/php.git;a=commitdiff;h=b60f74f117a8b895969e8fcd3b9a184620f141ad
Log:
Fix undefined index
Changed paths:
M include/shared-manual.inc
Diff:
diff --git a/include/shared-manual.inc b/include/shared-manual.inc
index 34fbdf3..b9f46b9 100644
--- a/include/shared-manual.inc
+++ b/include/shared-manual.inc
@@ -543,7 +543,6 @@ function manual_language_chooser($currentlang, $currentpage) {
foreach ($ACTIVE_ONLINE_LANGUAGES as $lang => $name) {
$links[] = array("$lang/$currentpage", $name, $lang);
}
- $links[] = array('help-translate.php', 'Other');
// Print out the form with all the options
echo <<< FORM
@@ -555,6 +554,7 @@ FORM;
echo "<option value='{$link[0]}' " .($link[2] == $currentlang ?
"selected" : ""). ">{$link[1]}</option>\n";
}
echo <<< FORM
+ <option value="help-translate.php">Other</option>
</select>
<input type="submit"
value="Go"