diff --git a/admin/index.php b/admin/index.php index d971ae45c5f12..6b0080b1e03c3 100644 --- a/admin/index.php +++ b/admin/index.php @@ -396,20 +396,19 @@ ////////////////////////////////////////////////////////////////////////////////////////////////// - echo "
"; - print_single_button("$CFG->wwwroot/doc", NULL, get_string("documentation")); - echo " | "; + echo '
'; + print_single_button($CFG->wwwroot.'/doc/', NULL, get_string('documentation')); + echo ' | '; - echo ""; - print_single_button("phpinfo.php", NULL, get_string("phpinfo")); - echo " | "; + echo ''; + print_single_button('phpinfo.php', NULL, get_string('phpinfo')); + echo ' | '; - echo ""; + echo ' | '; $options['sesskey'] = $USER->sesskey; - print_single_button("register.php", $options, get_string("registration")); - echo " | "; - echo "