wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-09-25 03:09:37 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Echo/includes/controller
History
Matthew Flaschen ffd9d4bb4d Fix moderation controller 
The change to use DeferredUpdates had a missing use.

Change-Id: Ied72608c9b3aa597627aa5ea069c257f506c3c1b
2016-09-20 01:44:25 -04:00
..
ModerationController.php Fix moderation controller 2016-09-20 01:44:25 -04:00
NotificationController.php Moderate notifications 2016-08-19 22:20:04 +00:00