mediawiki.js: Add missing bug number reference
authorBartosz Dziewoński <matma.rex@gmail.com>
Sat, 15 Feb 2014 16:11:07 +0000 (17:11 +0100)
committerOri.livneh <ori@wikimedia.org>
Sat, 15 Feb 2014 19:09:39 +0000 (19:09 +0000)
commit4ec725ee0cf02524c84b017b992b5014e2505199
treee667588720a0cafd4e20729a95ba64dc2c96814f
parentf7174057a4ec7b9c74babfe74290bb000204a581
mediawiki.js: Add missing bug number reference

Should have been added in 67d400e7.

Change-Id: Ide6d060fe2d32c463d84057a289ab1feab576310
resources/mediawiki/mediawiki.js