/** * 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; return $params; }