Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  0250e37faaafe0061afb135832b879c6d2cc003a

Fixing mobile.editor.ve module definition

Changing mobile.beta to mobile.stable.

Change-Id: I28d3e0b628a3f1820149b2cebf9253e306300925