There's been some confusion since we updated the [special page](https://www.mediawiki.org/wiki/Manual:Special_pages) `Special:MobileOptions`.
If you are a third party (means: not Wikimedia) that uses MediaWiki and the MobileFrontend extension on your server, since MobileFrontend beta features are disabled by default (via `$wgMFEnableBeta = false`), the settings page is empty.
{F22693445}
== Acceptance criteria
Should be a PHP only change.
[] When no settings, remove link from menu
[] the settings page `MobileOptions` should be disabled and inaccessible when there are no settings. We'll need to disable the registration of the special page inside the `SpecialPageInitList` hook
[] We'll need to update the FeatureManager so where we can tell this is the case.
[] on setting page, display message "No settings are available at this time"