Tickets :: [#9831] filterprefs.php filters option exists, but file non-existing

Summary	filterprefs.php filters option exists, but file non-existing
Queue	IMP
Queue Version	5.0
Type	Bug
State	Resolved
Priority	1. Low
Owners	slusarz (at) horde (dot) org
Requester	patrickdk (at) patrickdk (dot) com
Created	04/07/2011 (5327 days ago)
Due
Updated	04/07/2011 (5327 days ago)
Assigned
Resolved	04/07/2011 (5327 days ago)
Github Issue Link
Github Pull Request
Milestone
Patch	No

04/07/2011 04:20:11 PM	Michael Slusarz	Assigned to Michael Slusarz State ⇒ Resolved

04/07/2011 04:19:44 PM	Git Commit	Comment #2	Reply to this comment
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

04/07/2011 10:50:02 AM	patrickdk (at) patrickdk (dot) com	Comment #1 Priority ⇒ 1. Low Patch ⇒ No Milestone ⇒ Queue ⇒ IMP Summary ⇒ filterprefs.php filters option exists, but file non-existing Type ⇒ Bug State ⇒ Unconfirmed	Reply to this comment
filterprefs.php is non-existing for the top icon when clicking on the Filters button.