Umherirrender 11d4d33e08 Remove deprecated WatchlistNotificationManager class alias ... - class MediaWiki\User\WatchlistNotificationManager - MediaWiki\MediaWikiServices::getWatchlistNotificationManager Change-Id: I334f10e814b2bf9ef3de6f6ea3ed5ae4ad402ae0		2023-05-13 09:55:45 +02:00
..
WatchlistManager.php	Remove deprecated WatchlistNotificationManager class alias	2023-05-13 09:55:45 +02:00