[Pmwiki-users] Maybe rename $DefaultTitle?

[Christian Ridderström]

Hi

While setting up the site I started to wonder what the purpose of 
$DefaultTitle is? AFAICT from looking at the code:

* The variable $DefaultPage defines what page you get when $pagename is
  empty, or when the page you are looking for doesn't exist.
** The default value is '$DefaultGroup/$DefaultTitle'

* The variable $DefaultGroup is used for the following purposes:
** If "$Group.SideBar" doesn't exist, "$DefaultGroup.SideBar" is used.
** Last resort when looking for extra group customizations, i.e. when 
   nothing else is found, pmwiki looks for "local/$DefaultGroup.php"
** The wiki markup '[[$DefaultGroup]]' is replaced with '$DefaultGroup'
** The default value is 'Main'

* The variable $DefaultTitle defines what page you get if you only
  specify the name of a group, and there is no page within that group that 
  has the same name as the group.

Based on this, it seems to me that a better for $DefaultTitle would be
something like $DefaultGroupPage or $DefaultGroupTitle.

What do you think?

/Christian
-- 
Christian Ridderstr?m                           http://www.md.kth.se/~chr