1
0
mirror of https://github.com/moodle/moodle.git synced 2025-03-15 05:00:06 +01:00

Some fixes for links on admin page, and release notes now a link to Moodle Docs

This commit is contained in:
moodler 2006-04-05 02:46:05 +00:00
parent d2fa35a80d
commit c4226e0dac
2 changed files with 10 additions and 19 deletions

@ -139,6 +139,11 @@
/// Gather and show results
$status = check_moodle_environment($version, $environment_results);
/// Other links
echo '<div align="center">';
print_single_button('phpinfo.php', NULL, get_string('phpinfo'));
echo '</div>';
/// Print footer
print_footer();
?>

@ -204,13 +204,7 @@
if (!set_config("release", $release)) {
notify("ERROR: Could not update release version in database!!");
}
print_continue("index.php");
print_simple_box_start("center", '80%');
if (file_exists("$CFG->dirroot/lang/en_utf8/docs/release.html")) {
include("$CFG->dirroot/lang/en_utf8/docs/release.html");
}
print_simple_box_end();
print_continue("index.php");
notice(get_string('releasenoteslink', 'admin', 'http://docs.moodle.org/en/Release_Notes'), 'index.php');
exit;
}
@ -437,7 +431,7 @@
if (file_exists("$CFG->dirroot/$CFG->admin/$CFG->dbtype")) {
$table->data[] = array("<strong><a href=\"$CFG->dbtype/frame.php\">".get_string('managedatabase').'</a></strong>',
get_string('adminhelpmanagedatabase'));
'<div class="explanation">'.get_string('adminhelpmanagedatabase').'</div>');
}
@ -453,20 +447,12 @@
//////////////////////////////////////////////////////////////////////////////////////////////////
echo '<table width="100%" cellspacing="0"><tr>';
echo '<td align="center" width="33%">';
print_single_button($CFG->wwwroot.'/doc/', NULL, get_string('documentation'));
echo '</td>';
echo '<td align="center" width="33%">';
print_single_button('phpinfo.php', NULL, get_string('phpinfo'));
echo '</td>';
echo '<td align="center" width="33%">';
echo '<div align="center">';
$options = array();
$options['sesskey'] = $USER->sesskey;
print_single_button('register.php', $options, get_string('registration'));
echo '</td></tr></table>';
echo '</div>';
print_simple_box_end();