[commits] Horde Web Source branch master updated. 18e948e3b5833908a7230bdae7de3dafae9e8ed3

[Michael J. Rubinsky]

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

from: 7d1dda11908959c954ad949e3729fe44d7f41d24

18e948e Fixes for Horde 5

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

commit 18e948e3b5833908a7230bdae7de3dafae9e8ed3
Author: Michael J Rubinsky <mrubinsk at horde.org>
Date:   Sat Jun 22 13:10:50 2013 -0400

    Fixes for Horde 5

 app/controllers/App.php              |    6 +++---
 app/controllers/Development.php      |    2 +-
 app/lib/HordeWeb/Controller/Base.php |   13 +++++++------
 app/views/layout/main.html.php       |    8 ++++----
 4 files changed, 15 insertions(+), 14 deletions(-)

http://git.horde.org/horde-web/-/commit/18e948e3b5833908a7230bdae7de3dafae9e8ed3