wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-13 17:57:21 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Echo/includes/api
History
Derick Alangi f402ecd31f Echo: Fix case mismatch for function/method calls 
PHP doesn't care much about the name (in terms of case sensitivity)
but I think we should make sure the names of the method should be as
they're in their definition.

Change-Id: I6e38d8be64efaec4200471f2d3007275d7ddecec
2019-06-11 22:46:24 +01:00
..
ApiCrossWiki.php build: Upgrade mediawiki/mediawiki-phan-config from 0.5.0 to 0.6.0 and make pass 2019-05-19 13:33:12 +02:00
ApiEchoArticleReminder.php Make notifyAgent a per-type property rather than per-event 2018-10-29 15:41:51 -07:00
ApiEchoMarkRead.php Add cross-wiki proxying to the action=markasread API 2018-09-03 08:07:39 -07:00
ApiEchoMarkSeen.php Make "@… array" type hints more specific 2018-08-13 09:27:37 +02:00
ApiEchoNotifications.php Echo: Fix case mismatch for function/method calls 2019-06-11 22:46:24 +01:00
ApiEchoUnreadNotificationPages.php Echo: Fix case mismatch for function/method calls 2019-06-11 22:46:24 +01:00