Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  6bc956131ea706d5eba9ce1f5650d49684046e28

Fix wgMFShowRedLinks

Correct the rules like they was in first ccommit
I8760ee24e4b28643518e446c78a68c6fa451a57c and what the config variable
description in MobileFrontend.php says.

Change-Id: I19923b731b53468f81804e4230a05f509857884b