[commits] Horde branch develop updated. 80b0f649d4ce48bea1225c984551ccf065e22543

[Jan Schneider]

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

from: df699ab62cadf0365783b74034bdb998b8e804fc

b7c7b6c Don't show the logout button if explicitly forbidden.
80b0f64 Fix tasklist panel javascript.

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

commit b7c7b6c17c7d8be1fc48537106b63081ec381cac
Author: Jan Schneider <jan at horde.org>
Date:   Thu May 3 14:40:34 2012 +0200

    Don't show the logout button if explicitly forbidden.

 framework/Core/lib/Horde/Menu.php |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

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

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

commit 80b0f649d4ce48bea1225c984551ccf065e22543
Author: Jan Schneider <jan at horde.org>
Date:   Thu May 3 15:49:32 2012 +0200

    Fix tasklist panel javascript.

 nag/js/tasklist-panel.js          |   31 +++++++++++++++++++++++++++
 nag/package.xml                   |   42 +++++++++++++++++++++++++++++-------
 nag/templates/javascript_defs.php |    7 ++++++
 nag/templates/panel.inc           |   37 ++-----------------------------
 4 files changed, 75 insertions(+), 42 deletions(-)
 create mode 100644 nag/js/tasklist-panel.js

http://git.horde.org/horde-git/-/commit/80b0f649d4ce48bea1225c984551ccf065e22543