Updated mediawiki/extensions
Project: mediawiki/extensions/PhpTagsWidgets  fd55e4ef8fe8c04b6e45e252b9db0d814c615590

test jslint bug?

Change-Id: Iefdb4133f6c2ea32bc79e86376c43852b6833c1a