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

Don't set title to Main Page for user-rights notifications

Browse source 
I mean, WTF? It might make sense to set it to the user's
user page I suppose.

Change-Id: I584c1150e4c98bb814e30bf6a6d3eb3e49ef6408
This commit is contained in:
Roan Kattouw 2016-06-09 17:15:03 +02:00
parent 043e5af56d
commit cc3c38458b
1 changed files with 0 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
Hooks.php
View file

@ -649,7 +649,6 @@ class EchoHooks {
EchoEvent::create(
array(
'type' => 'user-rights',
'title' => Title::newMainPage(),
'extra' => array(
'user' => $user->getID(),
'add' => $add,