[horde] Can't edit preferences

[Hanns Mattes]

Hi,

Am 12.10.2010 16:42, schrieb Hanns Mattes:
> [...]
> "Es konnte nicht sichergestellt werden, [...]

Translating the message and a new search lead me to
http://bugs.horde.org/ticket/9289

Changing the short tag in
/templates/prefs/begin.inc seems to solve the problem, so sorry for the
noise.

Hanns