diff --git a/pandora_console/ChangeLog b/pandora_console/ChangeLog index 6da5957e74..704c8b63fa 100644 --- a/pandora_console/ChangeLog +++ b/pandora_console/ChangeLog @@ -1,3 +1,13 @@ +2010-11-23 Miguel de Dios + + * operation/gis_maps/render_view.php: cleaned source code style. + + * include/functions_ui.php: fixed in the function + "print_page_header" the check if the option is a separator that it + was true when the key was zero. + + Fixes: #3115621 + 2010-11-23 Miguel de Dios * extensions/extension_uploader.php: add first version of extension diff --git a/pandora_console/include/functions_ui.php b/pandora_console/include/functions_ui.php index 2d9b387712..977fc128c2 100644 --- a/pandora_console/include/functions_ui.php +++ b/pandora_console/include/functions_ui.php @@ -1580,20 +1580,22 @@ function print_page_header ($title, $icon = "", $return = false, $help = "", $go if (is_array($options)) { $buffer .= '