[commits] Horde branch master updated. b5895dcffe7623c69a6ad9ff01b5fd465028d48a

[Jan Schneider]

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

from: e3f0a6f3efd82e23070107e4269eb1649c83d8fa

c9fe75c The menu_view preference had been removed with the redesign.
b5895dc phpdoc

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

commit c9fe75cbabb0b9b6dd107b212ce7be29f3ae9b20
Author: Jan Schneider <jan at horde.org>
Date:   Mon Apr 15 16:34:55 2013 +0200

    The menu_view preference had been removed with the redesign.

 imp/docs/CHANGES          |    1 +
 imp/lib/Basic/Compose.php |    6 ++----
 imp/lib/Compose/Ui.php    |    3 +--
 imp/package.xml           |    2 ++
 4 files changed, 6 insertions(+), 6 deletions(-)

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

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

commit b5895dcffe7623c69a6ad9ff01b5fd465028d48a
Author: Jan Schneider <jan at horde.org>
Date:   Mon Apr 15 16:35:13 2013 +0200

    phpdoc

 framework/Core/lib/Horde/Session.php |   16 +++++++++++++---
 1 files changed, 13 insertions(+), 3 deletions(-)

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