diff --git a/user/selector/lib.php b/user/selector/lib.php index 1ddcc979902..86f6c143d63 100644 --- a/user/selector/lib.php +++ b/user/selector/lib.php @@ -672,8 +672,8 @@ abstract class user_selector_base { // It seems that document.getElementById('frog') in IE will return and element with name="frog". $output = '