[dev] bug in new webroot code

[Martin Ebourne]

The new way of working out the webroot in registry.php - ie.

    $webroot = str_replace(array('\\',
                                 $_SERVER['DOCUMENT_ROOT'],
                                 '/config/registry.php'),
                           array('/', '', ''), __FILE__);

breaks if you symlink registry.php -> registry.php.dist.

It comes up with http://server/horde.dist/

Now who would do such a thing you ask? Well I'm sure I'm not the only
one...

Cheers,

Martin.