Fri, 10 Apr 2026 17:52:44 +0000 https://bugs.horde.org/ticket/9831 filterprefs.php filters option exists, but file non-existing filterprefs.php is non-existing for the top icon when clicking on the Filters button. Thu, 07 Apr 2011 10:50:02 +0000 https://bugs.horde.org/ticket/9831#t63245 Changes have been made in Git for this ticket: Bug #9831: Fix link for filters menu option 3 files changed, 14 insertions(+), 8 deletions(-) http://git.horde.org/horde-git/-/commit/bbb89f2007e03578917afd06592c20ff5429b9e1 Thu, 07 Apr 2011 16:19:44 +0000 https://bugs.horde.org/ticket/9831#t63252