Updated mediawiki/extensions
Project: mediawiki/extensions/VisualEditor  391760fbc01718f7f6b6b8fc716315a74555e2b6
null
Minor cleanup.

Change-Id: I45ee3fd5b2131131f3d10e05a1cc2f32a3e091cc