Re: [Phpwiki-talk] index.php vs config.php

[Jeff D. <da...@da...>]

> The current configurator lets you create a configuration that you can
> /download/ and then later upload using FTP or whatever mechanism you
> use for this.

Oh yes, I agree.  I think that's definitely the way it ought to work.
(If I said something else, I didn't mean it...)

What I was trying to suggest was that the generated config file should
contain the values for those config settings which are being defaulted (or
auto-detected) as well as those modified by the user.   I.e. all the
defaulting and auto-detecting should happen in configurator.php, rather
than (as it is currently done) in lib/config.php.

This saves the run-time overhead of computing the defaults on every
invocation of PhpWiki, and allows the user to easily override the defaults
via configurator.php (or by manually editing the resulting config file.)