Translations:Plugin:TabSRMM/Configure history/19/en
It should be said, that all local options are implemented as "override" settings. Each setting can be configured individually so you can decide to only set a few options locally and continue to use the global options for the remaining settings. Consequently, each local setting has a "default" value and this is inherited from the global set of options.