From e7ee1905fffbd3831d02320ff1be252be00f2b45 Mon Sep 17 00:00:00 2001
From: jerome <jerome>
Date: Thu, 8 May 2008 02:42:53 +0000
Subject: [PATCH] MDL-14697 Participants page OK button hidden if javascript is
 enabled

---
 user/index.php | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/user/index.php b/user/index.php
index efc08a54b21..3fde1173955 100644
--- a/user/index.php
+++ b/user/index.php
@@ -768,7 +768,12 @@
         helpbutton("participantswithselectedusers", get_string("withselectedusers"));
         choose_from_menu ($displaylist, "formaction", "", get_string("withselectedusers"), "if(checksubmit(this.form))this.form.submit();", "");
         echo '<input type="hidden" name="id" value="'.$course->id.'" />';
-        echo '<input type="submit" value="' . get_string('ok') . '" />';
+        echo '<div id="noscriptparticipantsform" style="display: inline;">';
+        echo '<input type="submit" value="'.get_string('ok').'" /></div>';
+        echo '<script type="text/javascript">'.
+               "\n//<![CDATA[\n".
+               'document.getElementById("noscriptparticipantsform").style.display = "none";'.
+               "\n//]]>\n".'</script>';
         echo '</div>';
         echo '</div>';
         echo '</form>';