6.0.0-beta1
7/18/25

[#12345] It is no longer possible to use a user defined header in filters
Summary It is no longer possible to use a user defined header in filters
Queue Ingo
Queue Version 3.1.0
Type Bug
State Resolved
Priority 1. Low
Owners jan (at) horde (dot) org
Requester arjen+horde (at) de-korte (dot) org
Created 06/12/2013 (4419 days ago)
Due
Updated 06/12/2013 (4419 days ago)
Assigned
Resolved 06/12/2013 (4419 days ago)
Github Issue Link
Github Pull Request
Milestone 3.1.1
Patch No

History
06/12/2013 10:11:21 AM arjen+horde (at) de-korte (dot) org Comment #4 Reply to this comment
Nice bug number ;-)
I couldn't resist... ;-)
06/12/2013 10:07:18 AM Jan Schneider Comment #3
Assigned to Jan Schneider
State ⇒ Resolved
Milestone ⇒ 3.1.1
Reply to this comment
Nice bug number ;-)
06/12/2013 10:07:08 AM Git Commit Comment #2 Reply to this comment
Changes have been made in Git (master):

commit f611708087752711818280b5bee252e7932def84
Author: Jan Schneider <jan@horde.org>
Date:   Wed Jun 12 12:05:20 2013 +0200

     Fix scope (Bug #12345).

  ingo/docs/CHANGES       |    1 +
  ingo/lib/Basic/Rule.php |    2 +-
  ingo/package.xml        |    2 ++
  3 files changed, 4 insertions(+), 1 deletions(-)

http://git.horde.org/horde-git/-/commit/f611708087752711818280b5bee252e7932def84
06/12/2013 09:31:31 AM arjen+horde (at) de-korte (dot) org Comment #1
Priority ⇒ 1. Low
Type ⇒ Bug
Summary ⇒ It is no longer possible to use a user defined header in filters
Queue ⇒ Ingo
Milestone ⇒
Patch ⇒ No
State ⇒ Unconfirmed
Reply to this comment
It used to be possible to use a user defined header. The option is no 
longer shown, despite $conf[rules][userheader] is true.

Saved Queries