Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  d205cfeeb54b28708322c6c7daaef6803f949aa8

For now, always default to source editor on mobile

Temporarily ignore veConfig.defaultUserOptions.

Change-Id: I704a8da94e7de937262beebc12c4ffbca4ef2b7e