Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  a76c0df4931dc781b5057c2ee14a9052e55af8c6

Redirect &action=edit&section=X to mobile editor

When on mobile, redirect desktop edit links to the mobile ones.

Bug: 53179
Change-Id: Ica7836528c2e93140908cdf0a4322072dd6d3896