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

Merge "Set doesWrites() for SpecialNotificationsMarkRead"

Browse source
This commit is contained in:
jenkins-bot 2016-05-25 19:58:34 +00:00 committed by Gerrit Code Review
parent f6d2360d08 df5ee8ef8e
commit cdbe707f4f
1 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
includes/special/SpecialNotificationsMarkRead.php
View file

@ -7,6 +7,10 @@ class SpecialNotificationsMarkRead extends FormSpecialPage {
parent::__construct( 'NotificationsMarkRead' ); parent::__construct( 'NotificationsMarkRead' );
} }
public function doesWrites() {
return true;
}
public function execute( $par ) { public function execute( $par ) {
parent::execute( $par ); parent::execute( $par );