wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-24 07:54:13 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Echo/includes/special
History
Thiemo Kreuz d046adfd99 Remove obsolete property name from @var docs 
Change-Id: I72faac7f0f88b0e3c4f145aa1def0acae0398488
2020-08-10 12:53:14 +02:00
..
NotificationPager.php phpcs: Break long lines 2020-06-27 12:05:03 +02:00
SpecialDisplayNotificationsConfiguration.php Remove obsolete property name from @var docs 2020-08-10 12:53:14 +02:00
SpecialNotifications.php build: Bump phan to 0.10.2, remove taint-check 2020-05-31 16:57:07 +02:00
SpecialNotificationsMarkRead.php Echo: Fix case mismatch for function/method calls 2019-06-11 22:46:24 +01:00