Updated mediawiki/extensions
Project: mediawiki/extensions/WikiEditor  fc407956e982628ef0529a399495740d75d73311

Remove extra comma to avoid fatal in IE7

Followup to:I99c16f01176a954ad924a5c493e43fb47206fa4b

Change-Id: I4394b252ffee93f4647d1908c29626c20bb82366