diff options
Diffstat (limited to 'admin/batch_manager.php')
| -rw-r--r-- | admin/batch_manager.php | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/admin/batch_manager.php b/admin/batch_manager.php index bd64437c8..257b11bb9 100644 --- a/admin/batch_manager.php +++ b/admin/batch_manager.php @@ -116,6 +116,8 @@ if (isset($_POST['submitFilter'])) if (isset($_POST['filter_level_use'])) { + check_input_parameter('filter_level', $_POST, false, '/^\d+$/'); + if (in_array($_POST['filter_level'], $conf['available_permission_levels'])) { $_SESSION['bulk_manager_filter']['level'] = $_POST['filter_level']; |