<?php

$settings->add(new admin_setting_configcheckbox('block_tags_showcoursetags', get_string('showcoursetags', 'block_tags'),
                   get_string('showcoursetagsdef', 'block_tags'), 0));


