Steps to Reproduce:
- Log into a wiki with "Mark All Pages as Visited" functionality
- Navigate to your watchlist. Make sure there are some un-visited, bolded pages
- Click "Mark All Pages as Visited"
All items are unbolded
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.