Fixed small layout bug in tabs widget.

diff --git a/includes/ui/ui_controls.inc b/includes/ui/ui_controls.inc
index c24622b2faeb5de7a5eac0a7cc746952eb9eb58b..54315e2cb306fe53f8c283955e7ca77092679e15 100644 (file)
--- a/includes/ui/ui_controls.inc
+++ b/includes/ui/ui_controls.inc
@@ -412,8 +412,8 @@ function tabbed_content_start($name, $tabs, $dft='') {
 }
 
 function tabbed_content_end() {
-  div_end();
-       div_end();
+       echo "</div>"; // content box (don't change to div_end() unless div_start() is used above)
+       div_end(); // tabs widget
 }
 
 /* Table editor interfaces. Key is editor type