Last modified: 2006-10-10 23:12:55 UTC
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"
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.
This bug is similar to bug 4074 - marking as duplicate.
*** This bug has been marked as a duplicate of 4074 ***