[dev] Split Git

[Vilius Sumskas/LNK]

> >>> - All repos will be stored in a base folder
> >>> - Option to create a separate, web-accessible directory.
> >>
> >> Not sure what you mean. Some like what install_dev does today?
> >
> > Yes.  Necessary since repo organization does not line up with our 
> web layout.
> >
> > An optimization to the current system: we should not create symlinks 
> > to framework libs under horde/lib - it probably makes more sense to 
> > simply add an (admittedly long) list of include directories to an 
> > ini_set('include_path') call in horde.local.php.
> 
> That's a viable alternative, though I'm not sure why you would 
> consider this an optimization. I'd rather expect a long include_path 
> to perform badly.

I can confirm this. Long include_path is a terrible performance hit. PHP 
needs to stat every folder for every include until it finds a file.

-- 
   Vilius