From 33dfb53e0964ddf7594859f20951ed295d47e9d8 Mon Sep 17 00:00:00 2001 From: tjhunt Date: Wed, 25 Jul 2007 12:34:21 +0000 Subject: [PATCH] Fix whitespace. --- theme/index.php | 15 ++++++--------- 1 file changed, 6 insertions(+), 9 deletions(-) diff --git a/theme/index.php b/theme/index.php index ddc986d9e6..ac6d6fd552 100644 --- a/theme/index.php +++ b/theme/index.php @@ -27,7 +27,7 @@ } if (set_config("theme", $choose)) { theme_setup($choose); - admin_externalpage_print_header(); + admin_externalpage_print_header(); print_heading(get_string("themesaved")); print_continue("$CFG->wwwroot/"); @@ -42,7 +42,7 @@ echo format_text(implode('', $file), FORMAT_MOODLE); print_simple_box_end(); } - admin_externalpage_print_footer(); + admin_externalpage_print_footer(); exit; } else { error("Could not set the theme!"); @@ -58,7 +58,7 @@ $sesskey = !empty($USER->id) ? $USER->sesskey : ''; echo ""; - + if (!$USER->screenreader) { echo ""; echo ""; @@ -91,7 +91,7 @@ } echo ""; - + // no point showing this if user is using screen reader if (!$USER->screenreader) { echo "
$strtheme$strinfo
"; @@ -114,9 +114,9 @@ } else { echo '

'.$theme.' (Moodle 1.4)

'; } - + if ($screenshot or $readme) { - echo '
    '; + echo '
      '; if (!$USER->screenreader) { echo "
    • $strpreview
    • "; } @@ -133,8 +133,5 @@ } echo "
"; - admin_externalpage_print_footer(); - - ?> -- 2.39.5