Assignment grading table reset button does not clear persistent settings

Steps: After creating an assignment with multiple users visible in the assignment grading table, use the first name or surname filters to exclude some or all of them. NOTE: You will need enough users to fill more than one page in the grading table or the first / last name filtering won't show up. The default is 10 users per page, so you'll need 11 users. You can modify the "get_assign_perpage" function in mod/assign/locallib.php to set it to a lower value (say 5) if you don't want to create additional users. Navigate away from the page. Return to the Assignment grading page. Notice that the settings have been retained. Click the "Reset table preferences" button. Notice that the filters previously set have been cleared. Navigate away from the page again. Return to the page. Expected result: Table filters should be clear with none still applied.