[commits] Horde branch master updated. 86f47ff4e2c17ea1d741befa51708728ab5ee061

[Jan Schneider]

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

from: aace02dbc276fbb6a0fa727640b04312e14a9ee3

13551fe Smaller label.
0a4b37b htmlarea is long gone.
82f0dd2 Use normal font size for tag input.
e21ea9c Style bookmark forms.
8db8ebf No longer used.
1c7d96e Wrapping
eef4862 [jan] Move search box to top menu.
86f47ff Use H5 libraries (Bug #11709).

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

commit 13551fe2b457c31a36617892b90f3e9dfc9b5b66
Author: Jan Schneider <jan at horde.org>
Date:   Tue Nov 20 11:14:30 2012 +0100

    Smaller label.

 trean/templates/list.html.php |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

http://git.horde.org/horde-git/-/commit/13551fe2b457c31a36617892b90f3e9dfc9b5b66

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

commit 0a4b37b144af713eec99adc98e5184e1a125073d
Author: Jan Schneider <jan at horde.org>
Date:   Tue Nov 20 12:39:25 2012 +0100

    htmlarea is long gone.

 horde/themes/default/screen.css |    6 ------
 1 files changed, 0 insertions(+), 6 deletions(-)

http://git.horde.org/horde-git/-/commit/0a4b37b144af713eec99adc98e5184e1a125073d

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

commit 82f0dd2fcb37195901f34b10fd453d3762aa2e0f
Author: Jan Schneider <jan at horde.org>
Date:   Tue Nov 20 15:20:24 2012 +0100

    Use normal font size for tag input.

 horde/themes/default/screen.css |    4 ++++
 1 files changed, 4 insertions(+), 0 deletions(-)

http://git.horde.org/horde-git/-/commit/82f0dd2fcb37195901f34b10fd453d3762aa2e0f

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

commit e21ea9ccee9ffb4a5475e578f0c4de043d804048
Author: Jan Schneider <jan at horde.org>
Date:   Tue Nov 20 15:21:07 2012 +0100

    Style bookmark forms.

 trean/templates/add.html.php    |   29 +++++++++++++++++------------
 trean/templates/edit.html.php   |   26 ++++++++++++++++++--------
 trean/themes/default/screen.css |   13 ++++++++-----
 3 files changed, 43 insertions(+), 25 deletions(-)

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

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

commit 8db8ebf68b6d3e03d01d0b38fcdea187c6075ce0
Author: Jan Schneider <jan at horde.org>
Date:   Tue Nov 20 15:23:01 2012 +0100

    No longer used.

 trean/templates/search.php |    8 --------
 1 files changed, 0 insertions(+), 8 deletions(-)
 delete mode 100644 trean/templates/search.php

http://git.horde.org/horde-git/-/commit/8db8ebf68b6d3e03d01d0b38fcdea187c6075ce0

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

commit 1c7d96e2c4717246685d309f12b096abc2504c60
Author: Jan Schneider <jan at horde.org>
Date:   Tue Nov 20 15:26:10 2012 +0100

    Wrapping

 framework/Core/lib/Horde/Registry/Application.php |    4 +++-
 1 files changed, 3 insertions(+), 1 deletions(-)

http://git.horde.org/horde-git/-/commit/1c7d96e2c4717246685d309f12b096abc2504c60

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

commit eef486245fb6204f2b022021f3756a7cbae25b2a
Author: Jan Schneider <jan at horde.org>
Date:   Tue Nov 20 15:42:15 2012 +0100

    [jan] Move search box to top menu.

 trean/docs/CHANGES        |    1 +
 trean/lib/Application.php |    5 ++++-
 trean/lib/Form/Search.php |   14 --------------
 trean/package.xml         |   16 +++++-----------
 trean/search.php          |   35 ++++++++++++++---------------------
 5 files changed, 24 insertions(+), 47 deletions(-)
 delete mode 100644 trean/lib/Form/Search.php

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

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

commit 86f47ff4e2c17ea1d741befa51708728ab5ee061
Author: Jan Schneider <jan at horde.org>
Date:   Tue Nov 20 18:21:36 2012 +0100

    Use H5 libraries (Bug #11709).

 trean/bin/trean-url-checker |  235 ++++++++++++++++---------------------------
 1 files changed, 85 insertions(+), 150 deletions(-)

http://git.horde.org/horde-git/-/commit/86f47ff4e2c17ea1d741befa51708728ab5ee061