mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-28 09:40:41 +00:00
8eda2aa3fa
...So it can be hidden if JS is loading. Bug: T142451 Change-Id: Idd70bdacb79cb45e759b30e711178721db5f80bd |
||
---|---|---|
.. | ||
NotificationPager.php | ||
SpecialDisplayNotificationsConfiguration.php | ||
SpecialNotifications.php | ||
SpecialNotificationsMarkRead.php |