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

Merge "Correctly update locally cached seenTime"

Browse source
This commit is contained in:
jenkins-bot 2016-05-13 11:21:37 +00:00 committed by Gerrit Code Review
parent d6c2f1a82c 468ead1ca1
commit 8c9692e980
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
modules/viewmodel/mw.echo.dm.NotificationsModel.js
View file

@ -297,9 +297,9 @@
// Normalize if using 'all'
types = type === 'all' ? [ 'alert', 'message' ] : [ type ];
for ( i = 0; i < type.length; i++ ) {
for ( i = 0; i < types.length; i++ ) {
// Update all types
this.seenTime[ type[ i ] ] = time;
this.seenTime[ types[ i ] ] = time;
}
};