wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-11-12 09:57:16 +00:00
Code Issues Packages Projects Releases Wiki Activity

Remove extra comma to avoid fatal in IE7

Browse source 
jslint:
modules/jquery.wikiEditor.toolbar.config.js: line 818, col 43, Extra
comma. (it breaks older versions of IE)

Bug: 52715
Follow-Up: I8c5a52c74fa1bc83c662d748731f96bcd91374d0
Change-Id: I99c16f01176a954ad924a5c493e43fb47206fa4b
This commit is contained in:
umherirrender 2013-08-23 15:09:15 +02:00
parent c88907c323
commit 7506688ca2
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
modules/jquery.wikiEditor.dialogs.config.js
View file

@ -199,7 +199,7 @@ $.wikiEditor.modules.dialogs.config = {
prop: 'pageprops',
titles: target,
ppprop: 'disambiguation',
indexpageids: true,
indexpageids: true
} ).done( function ( data ) {
var status;
if ( !data.query ) {