[dev] Prefs application selection (patch)

[Ben Chavet]

>> The attached patch limits the application selector in the Options to 
>> only show
>> installed applications. (framework/Prefs/Prefs/UI.php)
>
> Committed, though people should really disable application that they didn't
> install.

Both the portal menu and the configuration UI both act this way, too.

It sure makes it easier to install a new application this way.  Just 
untar into
the horde root directory, run sql scripts if necessary, go to the setup 
UI, and
you're done.

--Ben