Updated mediawiki/extensions
Project: mediawiki/extensions/VisualEditor  4c9d22c7ca4fdfae13f400f558722ef9dc5996e7

Generalise the way extra modules are loaded

Change-Id: Icd453421b022a6450d1358edbe2132e49ca0b3bf