GlobalWatchlist
Extension to create a global watchlist
Loading...
Searching...
No Matches
MediaWiki\Extension\GlobalWatchlist\SettingsManager Member List

This is the complete list of members for MediaWiki\Extension\GlobalWatchlist\SettingsManager, including all inherited members.

__construct(LoggerInterface $logger, UserOptionsManager $userOptionsManager, IBufferingStatsdDataFactory $statsdDataFactory)MediaWiki\Extension\GlobalWatchlist\SettingsManager
FILTER_EITHERMediaWiki\Extension\GlobalWatchlist\SettingsManager
FILTER_EXCLUDEMediaWiki\Extension\GlobalWatchlist\SettingsManager
FILTER_REQUIREMediaWiki\Extension\GlobalWatchlist\SettingsManager
PREFERENCE_NAMEMediaWiki\Extension\GlobalWatchlist\SettingsManager
PREFERENCE_VERSIONMediaWiki\Extension\GlobalWatchlist\SettingsManager
saveUserOptions(UserIdentity $userIdentity, array $options)MediaWiki\Extension\GlobalWatchlist\SettingsManager