MDL-82935 filter: Remove unused var in manage.php

2024-08-28 16:34:10 +02:00
parent 327f06053b
commit a5b8e1479e
1 changed files with 0 additions and 1 deletions
@@ -112,7 +112,6 @@ if ($forfilter) {
 } else {
    $title = get_string('filtersettingsin', 'filters', $contextname);
 }
-$straction = get_string('filters', 'admin'); // Used by tabs.php

 // Print the header and tabs.
 $PAGE->set_cacheable(false);