in wmf-config/mobile.php we have various lines like this:
$wgMFNoMobileCategory = $wmgMFNoMobileCategory; $wgMFNoMobilePages = $wmgMFNoMobilePages;
We often use variables starting with $wmg to trigger certain blocks of code in CommonSettings.php but I'm not sure how helpful our usages are.
It feels to me that we could probably remove all the lines in wmf-config/mobile.php in favour of wg prefixed variables in wmf-config/InitialiseSettings.php