From 24ef2295a3b04dcfe4f3040ca5b3556ebf2ab682 Mon Sep 17 00:00:00 2001
From: Hannes Magnusson <bjori@php.net>
Date: Sun, 31 Aug 2008 12:49:45 +0000
Subject: [PATCH] Fix missing closing element

---
 include/shared-manual.inc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/include/shared-manual.inc b/include/shared-manual.inc
index b385e092a..1d0da980d 100644
--- a/include/shared-manual.inc
+++ b/include/shared-manual.inc
@@ -149,6 +149,7 @@ SIDEBAR;
     if (($PGI['home'][1] !== $PGI['up'][1]) && $PGI['up'][1]) {
       echo "</ul></li>";
     }
+    echo "</ul>\n";
     column_box();
 
 }