Updated mediawiki/extensions
Project: mediawiki/extensions/VisualEditor  3132bc8a248b12017eaab3e94b5686a2d4faba8e

Followup c41f96c: doc parameter in ve.dm.InternalList constructor is not optional, remove check

Change-Id: I2d699483330d84647cb256272535dde6b8f2437c