From f332bd025c0c65311661f66f9879efb8d4e72ba6 Mon Sep 17 00:00:00 2001
From: mjollnir_ <mjollnir_>
Date: Mon, 16 Jan 2006 21:50:57 +0000
Subject: [PATCH] Added cast to string in choose_from_menu_nested as well as
 choose_from_menu

---
 lib/weblib.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/weblib.php b/lib/weblib.php
index d8f4049f3ea..7c5ae4268de 100644
--- a/lib/weblib.php
+++ b/lib/weblib.php
@@ -739,7 +739,7 @@ function choose_from_menu_nested($options,$name,$selected='',$nothing='choose',$
             $output .= '   <optgroup label="'.$section.'">'."\n";
             foreach ($values as $value => $label) {
                 $output .= '   <option value="'. $value .'"';
-                if ($value == $selected) {
+                if ((string)$value == (string)$selected) {
                     $output .= ' selected="selected"';
                 }
                 if ($label === '') {