[commits] Horde Web Source branch master updated. 8c80190b56899d22ec87c590da5e6e0da1430b0c

[Jan Schneider]

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

from: a280edab39fbdc8263f46241b7d9631dee7a3060

8c80190 Use sqlite database to track versions.

Summary: http://github.com/horde/horde-web/compare/a280edab39fbdc8263f46241b7d9631dee7a3060...8c80190b56899d22ec87c590da5e6e0da1430b0c

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

commit 8c80190b56899d22ec87c590da5e6e0da1430b0c
Author: Jan Schneider <jan at horde.org>
Date:   Mon Mar 10 23:29:10 2014 +0100

    Use sqlite database to track versions.

 app/lib/HordeWeb/Utils.php |   39 +++--
 config/versions.php        |  375 --------------------------------------------
 config/versions.sqlite     |  Bin 0 -> 8192 bytes
 3 files changed, 24 insertions(+), 390 deletions(-)
 delete mode 100644 config/versions.php
 create mode 100644 config/versions.sqlite

http://github.com/horde/horde-web/commit/8c80190b56899d22ec87c590da5e6e0da1430b0c
http://git.horde.org/horde-web/-/commit/8c80190b56899d22ec87c590da5e6e0da1430b0c