phpbb\user_loader::load_users PHP Method

    public function load_users(array $user_ids)
    {
        $user_ids[] = ANONYMOUS;
        // Make user_ids unique and convert to integer.
        $user_ids = array_map('intval', array_unique($user_ids));
        // Do not load users we already have in $this->users
        $user_ids = array_diff($user_ids, array_keys($this->users));
        if (sizeof($user_ids)) {
            $sql = 'SELECT *
				FROM ' . $this->users_table . '
				WHERE ' . $this->db->sql_in_set('user_id', $user_ids);
            $result = $this->db->sql_query($sql);
            while ($row = $this->db->sql_fetchrow($result)) {
                $this->users[$row['user_id']] = $row;
            }
            $this->db->sql_freeresult($result);
        }
    }

    /**
     * {@inheritdoc}
     */
    public function find_users_for_notification($group, $options = array())
    {
        $options = array_merge(array('ignore_users' => array()), $options);
        $sql = 'SELECT user_id
			FROM ' . USER_GROUP_TABLE . '
			WHERE group_leader = 1
				AND group_id = ' . (int) $group['group_id'];
        $result = $this->db->sql_query($sql);
        $user_ids = array();
        while ($row = $this->db->sql_fetchrow($result)) {
            $user_ids[] = (int) $row['user_id'];
        }
        $this->db->sql_freeresult($result);
        $this->user_loader->load_users($user_ids);
        return $this->check_user_notification_options($user_ids, $options);
    }