MediaWiki:Tog-watchlistreloadautomatically

Reload the watchlist automatically whenever a filter is changed (JavaScript required)