diff --git a/filter/manage.php b/filter/manage.php index 823a9d7a568..4f02641b446 100644 --- a/filter/manage.php +++ b/filter/manage.php @@ -135,7 +135,7 @@ if ($isfrontpage) { } /// Print heading. -echo $OUTPUT->heading_with_help($title, 'localfiltersettings', 'filters'); +echo $OUTPUT->heading_with_help($title, 'filtersettings', 'filters'); if (empty($availablefilters)) { echo '
' . get_string('nofiltersenabled', 'filters') . "
\n"; diff --git a/lang/en/filters.php b/lang/en/filters.php index 2848f6717da..3b70ecbc2df 100644 --- a/lang/en/filters.php +++ b/lang/en/filters.php @@ -46,11 +46,12 @@ $string['disabled'] = 'Disabled'; $string['doesnotcontain'] = 'doesn\'t contain'; $string['endswith'] = 'ends with'; $string['filterallwarning'] = 'Applying filters to headings as well as content can greatly increase the load on your server. Please use that \'Apply to\' settings sparingly. The main use is with the multilang filter.'; -$string['filtersettingsforin'] = 'Filter settings for {$a->filter} in {$a->context}'; -$string['filtersettingsin'] = 'Filter settings in {$a}'; -$string['filtersettingsin_help'] = 'This page lets you turn filters on or off in a particular part of the site. +$string['filtersettings'] = 'Filter settings'; +$string['filtersettings_help'] = 'This page lets you turn filters on or off in a particular part of the site. Some filters may also let you set local settings, in which case there will be a settings link next to their name.'; +$string['filtersettingsforin'] = 'Filter settings for {$a->filter} in {$a->context}'; +$string['filtersettingsin'] = 'Filter settings in {$a}'; $string['firstaccess'] = 'First access'; $string['globalrolelabel'] = '{$a->label} is {$a->value}'; $string['includenever'] = 'Never included'; diff --git a/lang/en/help/localfiltersettings.html b/lang/en/help/localfiltersettings.html deleted file mode 100644 index 175a7f20a12..00000000000 --- a/lang/en/help/localfiltersettings.html +++ /dev/null @@ -1,8 +0,0 @@ -This page lets you turn filters on or off in a particular part of the site. -This page only gives you access to those filters that the Administrator has -enabled.
- -Some filters may also let you set local settings, in which case there will be -a 'Settings' link next to their name.
\ No newline at end of file