[WikimediaMobile] How to put Special:SpecialPages into the MobileFrontend menu?