Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  db9b8217a0e443f7e0c6b0b8208785eb544ca8bb

Make sure VisualEditor is installed before trying to use it

Bug: 63658
Bug: 63689
Change-Id: I5f13b9469ca510e42031e5a2e99c4f5ab7badec7