/**
* Delete this user from the group.
* Does not check whether the user is a member of the group.
* @param USER $user
*/
public function remove_user($user)
{
$this->db->logged_query("DELETE FROM {$this->app->table_names->users_to_groups} WHERE user_id = {$user->id}");
// update the history with the change
$history_item = $this->new_history_item();
$history_item->kind = History_item_updated;
$history_item->record_difference('Removed [' . $user->title_as_plain_text() . '].');
$history_item->store();
$history_item = $user->new_history_item();
$history_item->kind = History_item_updated;
$history_item->record_difference('Removed from group [' . $this->title_as_plain_text() . ']');
$history_item->store();
}
/**
* Display a user and date in plain text.
* Formatted as: 'caption' by 'user' on 'time'
* @param string $caption
* @param USER $user
* @param DATE_TIME $time
* @access private
*/
protected function _echo_plain_text_user($caption, $user, $time)
{
echo $this->line($caption . ' by ' . $user->title_as_plain_text() . ' on ' . $this->time($time));
}
