Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  476bf4b48605766918e40c75144bdb228721b225

Fix naming issue to restore ability to switch between editors

Bug: T85480
Change-Id: I058d0dfa18f2220fc0e2d9ecc8dfd12206d3c481