Wikimedia Bugzilla is closed!

Steps to Reproduce:
1. Log into a wiki with "Mark All Pages as Visited" functionality
2. Navigate to your watchlist. Make sure there are some un-visited, bolded pages
3. Click "Mark All Pages as Visited"

Expected Result:
All items are unbolded

Actual Result:
Items are still bold, an extra refresh is needed to clear them out.

I would recommend setting a header('Location: ' . $watchlist_url); to manually
force the redirect if modifying the architecture so that marking the pages read
before reading out that info for display proves to be difficult. It's not that
big of a deal, i.e. no actual functionality is broken, but it can be
disconcerting and goes against user expectations.