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

Merge "NotifUser: Add a doc comment for getForeignCount()"

Browse source
This commit is contained in:
jenkins-bot 2018-06-02 17:20:28 +00:00 committed by Gerrit Code Review
parent 205c937164 0edd96da17
commit aa984f1b9b
1 changed files with 5 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
includes/NotifUser.php
View file

@ -695,6 +695,11 @@ class MWEchoNotifUser {
return $this->mForeignData; return $this->mForeignData;
} }
/**
* Get the number of foreign notifications in a given section.
* @param string $section One of EchoAttributeManager::$sections
* @return int Number of foreign notifications
*/
protected function getForeignCount( $section = EchoAttributeManager::ALL ) { protected function getForeignCount( $section = EchoAttributeManager::ALL ) {
global $wgEchoSectionTransition, $wgEchoBundleTransition; global $wgEchoSectionTransition, $wgEchoBundleTransition;
$count = 0; $count = 0;