jenkins-bot has submitted this change and it was merged.
Change subject: Remove duplicate 'MediaWiki' prefix from echo.unseen stats
......................................................................
Remove duplicate 'MediaWiki' prefix from echo.unseen stats
Caused metrics to be reported as 'MediaWiki.MediaWiki.echo.unseen'
Change-Id: Ie141b896d0574b081a362b06043d842c2a897df0
---
M Hooks.php
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Krinkle: Looks good to me, approved
jenkins-bot: Verified
diff --git a/Hooks.php b/Hooks.php
index 4ddff0e..4054c7d 100644
--- a/Hooks.php
+++ b/Hooks.php
@@ -727,7 +727,7 @@
if ( $hasUnseen ) {
// Record that the user is going to see an indicator
that they have unread notifications
- RequestContext::getMain()->getStats()->increment(
'MediaWiki.echo.unseen' );
+ RequestContext::getMain()->getStats()->increment(
'echo.unseen' );
}
// If the user has new messages, display a talk page alert
--
To view, visit https://gerrit.wikimedia.org/r/240298
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ie141b896d0574b081a362b06043d842c2a897df0
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Echo
Gerrit-Branch: master
Gerrit-Owner: Legoktm <[email protected]>
Gerrit-Reviewer: Krinkle <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
