[dev] Setup, Configuration, Options, Preferences

[Michael M Slusarz]

Quoting Jan Schneider <jan at horde.org>:

> What do you think about settling on exactly two of those?
>
> We use "Setup" in the admin menu, but the configuration file is  
> called conf.php, and in the documentation and support questions we  
> call it "configuration".

I would go with Configuration/Configure.

> The same is true for "Option", prefs.php and "preferences".
> And then there is "settings" which is used for both in docs and  
> mailing list communication.

Preferences.

> And while we're there, does anybody object if we standardize on a  
> single config file name for the backend configuration? I'd vote for  
> backends.php to replace sources.php, servers.php etc.

I don't object, but what about apps with multiple backends?  e.g. ingo  
- there is a backend for local storage and a backend for remote storage.

michael

-- 
___________________________________
Michael Slusarz [slusarz at horde.org]