Manual:WatchlistNotificationManager.php