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

Remove unused SpecialNotificationsMarkRead::$eventId

Browse source 
Change-Id: I37b647fb1bb35b13d72c56619db6d4007db61f82
This commit is contained in:
Umherirrender 2020-12-17 19:05:58 +01:00
parent 3f68ee2d66
commit 1a922d4443
1 changed files with 0 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
includes/special/SpecialNotificationsMarkRead.php
View file

@ -9,8 +9,6 @@
* page should normally not need to be visited directly. * page should normally not need to be visited directly.
*/ */
class SpecialNotificationsMarkRead extends FormSpecialPage { class SpecialNotificationsMarkRead extends FormSpecialPage {
protected $eventId;
public function __construct() { public function __construct() {
parent::__construct( 'NotificationsMarkRead' ); parent::__construct( 'NotificationsMarkRead' );
} }