From a5137c503aed395d54e2dcf87079439a862ad3e0 Mon Sep 17 00:00:00 2001
From: poltawski <poltawski>
Date: Tue, 5 Feb 2008 15:24:11 +0000
Subject: [PATCH] MDL-13235 - bulk user action removing users etc was buggy,
 merged from MOODLE_19_STABLE

---
 admin/user/lib.php       | 6 +++---
 admin/user/user_bulk.php | 4 ++--
 2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/admin/user/lib.php b/admin/user/lib.php
index 28c2e33ee2..fe57cdb50b 100644
--- a/admin/user/lib.php
+++ b/admin/user/lib.php
@@ -14,8 +14,8 @@ function add_selection_all($ufiltering) {
 
     if ($rs = get_recordset_select('user', $sqlwhere, 'fullname', 'id,'.sql_fullname().' AS fullname')) {
         while ($user = rs_fetch_next_record($rs)) {
-            if (!in_array($user->id, $SESSION->bulk_users)) {
-                $SESSION->bulk_users[] = $user->id;
+            if (! isset($SESSION->bulk_users[$user->id])) {
+                $SESSION->bulk_users[$user->id] = $user->id;
             }
         }
         rs_close($rs);
@@ -40,7 +40,7 @@ function get_selection_data($ufiltering) {
         if ($scount < MAX_BULK_USERS) {
             $in = implode(',', $SESSION->bulk_users);
         } else {
-            $bulkusers = array_slice($SESSION->bulk_users, 0, MAX_BULK_USERS);
+            $bulkusers = array_slice($SESSION->bulk_users, 0, MAX_BULK_USERS, true);
             $in = implode(',', $bulkusers);
         }
         $userlist['susers'] = get_records_select_menu('user', "id IN ($in)", 'fullname', 'id,'.sql_fullname().' AS fullname');
diff --git a/admin/user/user_bulk.php b/admin/user/user_bulk.php
index 14e0301529..ae13d7c929 100755
--- a/admin/user/user_bulk.php
+++ b/admin/user/user_bulk.php
@@ -42,8 +42,8 @@ if ($data = $user_bulk_form->get_data(false)) {
                     if ($userid == -1) {
                         continue;
                     }
-                    if (!in_array($userid, $SESSION->bulk_users)) {
-                        $SESSION->bulk_users[] = $userid;
+                    if (!isset($SESSION->bulk_users[$userid])) {
+                        $SESSION->bulk_users[$userid] = $userid;
                     }
                 }
             }
-- 
2.39.5