wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-24 16:04:35 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Echo/includes/special
History
libraryupgrader 43efb95e8b build: Updating composer dependencies 
* mediawiki/mediawiki-phan-config: 0.10.6 → 0.11.0
* php-parallel-lint/php-parallel-lint: 1.3.0 → 1.3.1

Change-Id: If2e235fb97c0d39c3c14ba7c423ef45f5c0013d0
2021-09-08 23:40:19 +00:00
..
NotificationPager.php build: Updating composer dependencies 2021-09-08 23:40:19 +00:00
SpecialDisplayNotificationsConfiguration.php SpecialDisplayNotificationsConfiguration: Fix default values of core prefs 2021-07-27 19:53:58 +02:00
SpecialNotifications.php SpecialNotifications: Load mark-as-read icon in no-JS mode 2021-06-01 23:02:59 +02:00
SpecialNotificationsMarkRead.php phpcs: Auto-fix MediaWiki.Usage.StaticClosure.StaticClosure 2021-05-04 09:06:42 -07:00