mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-30 18:45:07 +00:00
0b60f1e240
It should be Listgrouprights instead of ListGroupRights. It still works but generates a warning. Change-Id: Ia7e560d7ae1979695b19c9010bee8bb3601b7929 |
||
---|---|---|
.. | ||
BasicFormatter.php | ||
CommentFormatter.php | ||
EditFormatter.php | ||
NotificationFormatter.php | ||
PageLinkFormatter.php | ||
UserRightsFormatter.php |