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

Hygiene: Dont quote object property keys

Browse source 
Change-Id: I93d669a26f85b4eb5c5e0e06e314b89894f12385
This commit is contained in:
Erik Bernhardson 2014-09-12 16:00:07 -07:00
parent 4ff74ddd50
commit 8ee843fab5
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;
apiData = {
'action' : 'query',
'meta' : 'notifications',
'notformat' : 'html',
'notprop' : 'index|list',
'notcontinue': this.notcontinue,
'notlimit': mw.config.get( 'wgEchoDisplayNum' ),
action : 'query',
meta : 'notifications',
notformat : 'html',
notprop : 'index|list',
notcontinue: this.notcontinue,
notlimit: mw.config.get( 'wgEchoDisplayNum' ),
uselang: useLang
};
@ -128,9 +128,9 @@
api = new mw.Api(), that = this;
api.post( {
'action' : 'echomarkread',
'list' : unread.join( '|' ),
'token': mw.user.tokens.get( 'editToken' ),
action : 'echomarkread',
list : unread.join( '|' ),
token: mw.user.tokens.get( 'editToken' ),
uselang: useLang
} ).done( function ( result ) {
// update the badge if the link is enabled