mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-12-22 04:33:58 +00:00
9daf86b662
This starts using conditional user defaults, which were already deployed to WMF production config. Bug: T353225 Change-Id: I93c6efc40d1ef6c46d8711fc5a4161e5d8f683e3 |
||
---|---|---|
.. | ||
NotificationPager.php | ||
SpecialDisplayNotificationsConfiguration.php | ||
SpecialNotifications.php | ||
SpecialNotificationsMarkRead.php |