tool title
This is the introduction text.
| ||||||||||||||||||
diff --git a/main/admin/settings.php b/main/admin/settings.php index b45506faa4..8a448b1c70 100644 --- a/main/admin/settings.php +++ b/main/admin/settings.php @@ -1,5 +1,5 @@ '.' AND $file <> '..' AND is_dir(api_get_path(SYS_PLUGIN_PATH).$file)) @@ -255,7 +255,7 @@ function handle_plugins() $possibleplugins[] = $file; } } - closedir($handle); + @closedir($handle); /* for each of the possible plugin dirs we check if a file plugin.php (that contains all the needed information about this plugin) can be found in the dir. @@ -384,7 +384,7 @@ function handle_stylesheets() echo '
'; echo ''; } diff --git a/main/admin/style_preview.php b/main/admin/style_preview.php index 419dc45bfc..fa47376c27 100644 --- a/main/admin/style_preview.php +++ b/main/admin/style_preview.php @@ -2,30 +2,44 @@ include_once('../inc/global.inc.php'); if (isset($_GET['style']) AND $_GET['style']<>'') { - $htmlHeadXtra[] = ''; + $style=Security::remove_XSS($_GET['style']); + //$htmlHeadXtra[] = ''; + echo ''; +} +else +{ + $currentstyle = api_get_setting('stylesheets'); + echo ''; } -Display::display_header($tool_name); -?> - + +//Display::display_header($tool_name); +include(api_get_path(INCLUDE_PATH).'banner.inc.php'); + +?> +