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

sarjona · Aug 28, 2024 · a5b8e14 · a5b8e14
1 parent 327f060
commit a5b8e14
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/filter/manage.php b/filter/manage.php
@@ -112,7 +112,6 @@
 } 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);