Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  1719873b7d7114d46e78b94d15df6d7d48b9b434

Fix MobileContext::getDesktopUrl()

Uses $wgServer to reset desktop hostname rather than attempt to strip
out mobile-specific domain name elements as was done previously.

Bug: 50967
Change-Id: I18ae772e35bf34063538e987ea1d28d9517c51a2