.
/**
* Handles viewing a report that shows who has received a htmlcert.
*
* This is now just a stub page - all logic has been moved to view.php.
*
* @package mod_htmlcert
* @copyright 2013 Mark Nelson , 2021 Klaus-Uwe Mitterer
* @license http://www.gnu.org/copyleft/gpl.html GNU GPL v3 or later
*/
require_once('../../config.php');
$id = required_param('id', PARAM_INT);
$cm = get_coursemodule_from_id('htmlcert', $id, 0, false, MUST_EXIST);
$course = $DB->get_record('course', array('id' => $cm->course), '*', MUST_EXIST);
require_login($course, false, $cm);
redirect(new moodle_url('/mod/htmlcert/view.php', ['id' => $id]));