dirroot.'/course/format/page/lib.php'); $options = page_get_modules($COURSE, 'name') ?>

:	config->cmid); ?>