/** * Return the page parameters for the page. Used by the constructor for * calling $this->set_url(). * * @return array */ protected function _get_page_params() { $params = parent::_get_page_params(); $id = $this->required_param('id', PARAM_INT); $params['id'] = $id; $page = $this->optional_param('page', 0, PARAM_INT); if ($page != 0) { $params['page'] = $page; } $role = $this->optional_param('role', 0, PARAM_INT); if ($role != 0) { $params['role'] = $role; } $assign = $this->optional_param('_assign', 0, PARAM_CLEAN); if ($assign != 0) { $params['_assign'] = $assign; } return $params; }