[horde] Horde 5 Categories and Labels preference

[Arjen de Korte]

Citeren "John H. Bennett III" <bennettj at thebennetthome.com>:

> Hello,
>
> I've been getting a few questions about the function of the  
> Categories and Labels preference under Global preferences.  Since  
> the switch to tags, I believe this preference is now totally  
> useless.  Am I correct in that belief?  If not, what use does it  
> have in the current horde version?  If so, is there a way to  
> permanently hide this pref using  prefs.local.php file?  I couldn't  
> find how to do this looking at the prefs.php file.  I know that  
> commenting out those lines in prefs.php will hide it, but that will  
> be overwritten on the next update.

The way to hide this permanently is documented in the $prefGroups in  
the prefs.php file. Append the following line to your existing  
horde/config/prefs.local.php file:

$prefGroups['categories']['suppress'] = true;

> Will this pref be totally removed in horde 6?
>
> Thank you,
>
> John H. Bennett III