Translations:Manual:$wgDefaultUserOptions/172/en

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