mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-11 17:00:10 +00:00
0d071e2a7b
Change-Id: I6d476773397438d7c78e1869e2afe3699ce4c092
26 lines
1,004 B
PHP
26 lines
1,004 B
PHP
<?php
|
|
|
|
// phpcs:disable Generic.NamingConventions.UpperCaseConstantName.ClassConstantNotUpperCase
|
|
namespace MediaWiki\Extension\Notifications;
|
|
|
|
/**
|
|
* A class containing constants representing the names of configuration variables,
|
|
* to protect against typos.
|
|
*
|
|
* @since 1.41
|
|
*/
|
|
class ConfigNames {
|
|
public const CrossWikiNotifications = 'EchoCrossWikiNotifications';
|
|
public const EnableEmailBatch = 'EchoEnableEmailBatch';
|
|
public const EnablePush = 'EchoEnablePush';
|
|
public const NotificationCategories = 'EchoNotificationCategories';
|
|
public const NotificationIcons = 'EchoNotificationIcons';
|
|
public const Notifications = 'EchoNotifications';
|
|
public const Notifiers = 'EchoNotifiers';
|
|
public const PerUserBlacklist = 'EchoPerUserBlacklist';
|
|
public const PollForUpdates = 'EchoPollForUpdates';
|
|
public const SecondaryIcons = 'EchoSecondaryIcons';
|
|
public const WatchlistEmailOncePerPage = 'EchoWatchlistEmailOncePerPage';
|
|
public const WatchlistNotifications = 'EchoWatchlistNotifications';
|
|
}
|