Updated mediawiki/extensions
Project: mediawiki/extensions/VisualEditor  de979ff2939b684d6bbbf695ed389d214361f4b3

Replace raw oojs-ui files with v0.1.0-pre (0267100ab3)

Change-Id: I792bc0335269976ff29433227b6fa562a1026aeb