[commits] Horde branch master updated. ec319ff348375623e73b4032365455d34f628dc8

[Jan Schneider]

The branch "master" has been updated.
The following is a summary of the commits.

from: 341afd8dded3c47908fa04440aa25217387701c2

03f697e [jan] Fix highlighting of menu entries.
f611708 Fix scope (Bug #12345).
a78e9ca Fix variable.
ec319ff BFN

-----------------------------------------------------------------------

commit 03f697eea3fce0432933d5005f97c98c24ffc748
Author: Jan Schneider <jan at horde.org>
Date:   Wed Jun 12 12:01:24 2013 +0200

    [jan] Fix highlighting of menu entries.

 ingo/docs/CHANGES        |    1 +
 ingo/lib/Application.php |   51 +++++++++++++++++++++++++++++++++------------
 ingo/package.xml         |    2 +
 3 files changed, 40 insertions(+), 14 deletions(-)

http://git.horde.org/horde-git/-/commit/03f697eea3fce0432933d5005f97c98c24ffc748

-----------------------------------------------------------------------

commit f611708087752711818280b5bee252e7932def84
Author: Jan Schneider <jan at 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

-----------------------------------------------------------------------

commit a78e9ca3b24561628d644ff26d8db3654e4bba62
Author: Jan Schneider <jan at horde.org>
Date:   Wed Jun 12 12:06:11 2013 +0200

    Fix variable.

 ingo/lib/Basic/Script.php |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

http://git.horde.org/horde-git/-/commit/a78e9ca3b24561628d644ff26d8db3654e4bba62

-----------------------------------------------------------------------

commit ec319ff348375623e73b4032365455d34f628dc8
Author: Jan Schneider <jan at horde.org>
Date:   Wed Jun 12 12:06:51 2013 +0200

    BFN

 ingo/docs/RELEASE_NOTES |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)

http://git.horde.org/horde-git/-/commit/ec319ff348375623e73b4032365455d34f628dc8