wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-27 17:20:40 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Echo/includes/Special
History
Martin Urbanec 9daf86b662 Stop inserting new user_properties rows on signup 
This starts using conditional user defaults, which were
already deployed to WMF production config.

Bug: T353225
Change-Id: I93c6efc40d1ef6c46d8711fc5a4161e5d8f683e3
2024-02-26 15:09:02 +00:00
..
NotificationPager.php build: Updating dependencies 2024-02-14 07:34:28 -05:00
SpecialDisplayNotificationsConfiguration.php Stop inserting new user_properties rows on signup 2024-02-26 15:09:02 +00:00
SpecialNotifications.php Use namespaced classes 2023-12-11 16:39:00 +01:00
SpecialNotificationsMarkRead.php Use namespaced classes 2023-12-11 16:39:00 +01:00