Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  3c78bc2d557d0c5d1fdf1b9e34567c09a04d4752

Add article title and an editing indication in VE

Change-Id: I3182d375b9eaba6af573f84e069e2c5ef668041f