Updated mediawiki/extensions
Project: mediawiki/extensions/VisualEditor  395d5f563c0bda0017aadfbdddcb114e5be33a7d

Remove ve.isMixedIn(), it's unused and it's evil

Change-Id: I5a5fc4c8eb56530dbac3bc32122faf20b8c92aa5