wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-09-24 02:39:33 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix doc comment in EchoNotificationController

Browse source 
Change-Id: I3b82206f93099959ed3c12aed7853762cc3da8e4
This commit is contained in:
Kunal Mehta 2015-06-15 19:02:05 -07:00
parent da894d8a43
commit cac31dd843
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
includes/controller/NotificationController.php
View file

@ -21,7 +21,7 @@ class EchoNotificationController {
/**
* Queue's that failed formatting and marks them as read at end of request.
*
* @var DeferredMarkAsReadUpdate|null
* @var EchoDeferredMarkAsReadUpdate|null
*/
static protected $markAsRead;