mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-09-24 18:59:40 +00:00
fc7e18ba8e
If a user is mentioned in an area that does not have a section title (for example, the lead section of a talk page), use the new 'notification-mention-nosection' message, to avoid an awkward and incorrect "[[Page#|]]". Bug: 52507 Change-Id: I40628b76c460c79008053222c9780bb23549731d |
||
---|---|---|
.. | ||
BasicFormatter.php | ||
CommentFormatter.php | ||
EditFormatter.php | ||
EditUserTalkFormatter.php | ||
MentionFormatter.php | ||
NotificationFormatter.php | ||
PageLinkFormatter.php | ||
UserRightsFormatter.php |