diff options
Diffstat (limited to 'src/search_functions.php')
| -rw-r--r-- | src/search_functions.php | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/src/search_functions.php b/src/search_functions.php index f5c3688..acd7f3c 100644 --- a/src/search_functions.php +++ b/src/search_functions.php @@ -17,14 +17,6 @@ function end_form($value) function end_page() { - //global $config; - //global $translator; - //if ($config['GENERATE_TREEVIEW']) - //{ - // echo "</div>\n<div id=\"nav-path\" class=\"navpath\">\n <ul>\n <li class=\"footer\">"; - // echo $translator['logo']; - // echo "</li>\n </ul>\n</div>"; - //} echo "</body></html>"; } |