Manual:$wgFilterRobotsWL

Details
Enable filtering of robots in Special:Watchlist.