wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-09-24 02:39:33 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Fix common typos in code"

Browse source
This commit is contained in:
jenkins-bot 2018-08-27 11:33:30 +00:00 committed by Gerrit Code Review
parent 16dcd8e771 00dfbd1af7
commit 6072511b47
3 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
includes/AttributeManager.php
View file

@ -299,7 +299,7 @@ class EchoAttributeManager {
$category = $notificationDetails['category'];
if ( isset( $eventsByCategory[$category] ) ) {
// Only real categories. Currently, this excludes the 'foreign'
// psuedo-category.
// pseudo-category.
$eventsByCategory[$category][] = $notificationType;
}
}

2
includes/EchoDiffParser.php
View file

@ -167,7 +167,7 @@ class EchoDiffParser {
* Parse the next line of the unified diff output
*
* @param string $line The next line of the unified diff
* @param EchoDiffGroup|null $change Changes the the immediately previous lines
* @param EchoDiffGroup|null $change Changes the immediately previous lines
*
* @throws MWException
* @return EchoDiffGroup Changes to this line and any changed lines immediately previous

2
modules/ui/mw.echo.ui.NotificationsInboxWidget.js
View file

@ -294,7 +294,7 @@
};
/**
* Reset the the text of the error message that displays in place of the list
* Reset the text of the error message that displays in place of the list
* in case the list is empty.
*/
mw.echo.ui.NotificationsInboxWidget.prototype.resetMessageLabel = function () {