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

Merge "Hygiene: Dont quote object property keys"

Browse source
This commit is contained in:
jenkins-bot 2014-09-12 23:16:06 +00:00 committed by Gerrit Code Review
parent acce7cc9fb 8ee843fab5
commit 8635a9cc9f
1 changed files with 9 additions and 9 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

18
modules/special/ext.echo.special.js
View file

@ -63,12 +63,12 @@
notifications, data, container, $li, that = this, unread = [], apiData; notifications, data, container, $li, that = this, unread = [], apiData;
apiData = { apiData = {
'action' : 'query', action : 'query',
'meta' : 'notifications', meta : 'notifications',
'notformat' : 'html', notformat : 'html',
'notprop' : 'index|list', notprop : 'index|list',
'notcontinue': this.notcontinue, notcontinue: this.notcontinue,
'notlimit': mw.config.get( 'wgEchoDisplayNum' ), notlimit: mw.config.get( 'wgEchoDisplayNum' ),
uselang: useLang uselang: useLang
}; };
@ -128,9 +128,9 @@
api = new mw.Api(), that = this; api = new mw.Api(), that = this;
api.post( { api.post( {
'action' : 'echomarkread', action : 'echomarkread',
'list' : unread.join( '|' ), list : unread.join( '|' ),
'token': mw.user.tokens.get( 'editToken' ), token: mw.user.tokens.get( 'editToken' ),
uselang: useLang uselang: useLang
} ).done( function ( result ) { } ).done( function ( result ) {
// update the badge if the link is enabled // update the badge if the link is enabled