diff --git a/lib/weblib.php b/lib/weblib.php
index fc19003c40b..fba3e9bd68f 100644
--- a/lib/weblib.php
+++ b/lib/weblib.php
@@ -651,7 +651,8 @@ function close_window($delay=0) {
  * @param    type description
  * @todo Finish documenting this function
  */
-function choose_from_menu ($options, $name, $selected='', $nothing='choose', $script='', $nothingvalue='0', $return=false, $disabled=false) {
+function choose_from_menu ($options, $name, $selected='', $nothing='choose', $script='', 
+                           $nothingvalue='0', $return=false, $disabled=false, $tabindex=0) {
 
     if ($nothing == 'choose') {
         $nothing = get_string('choose') .'...';
@@ -662,6 +663,10 @@ function choose_from_menu ($options, $name, $selected='', $nothing='choose', $sc
         $attributes .= ' disabled="disabled"';
     }
 
+    if ($tabindex) {
+        $attributes .= ' tabindex="'.$tabindex.'"';
+    }
+
     $output = '<select id="menu'.$name.'" name="'. $name .'" '. $attributes .'>' . "\n";
     if ($nothing) {
         $output .= '   <option value="'. $nothingvalue .'"'. "\n";