moodle/moodle
3
0
Fork 0
mirror of https://github.com/moodle/moodle.git synced 2025-08-04 16:36:37 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions

Link from themes page to themes docs

Browse source
This commit is contained in:
moodler 2003-01-06 08:22:49 +00:00
parent c4028ac12b
commit 1b73ea5799
2 changed files with 6 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
lang/en/moodle.php
View file

@ -230,6 +230,7 @@ $string['hitsoncoursetoday'] = "Today's hits on \$a->coursename by \$a->username
$string['home'] = "Home"; $string['home'] = "Home";
$string['hour'] = "hour"; $string['hour'] = "hour";
$string['hours'] = "hours"; $string['hours'] = "hours";
$string['howtomakethemes'] = "How to make new themes";
$string['htmleditor'] = "Use Richtext HTML editor (IE only, 5.5 or later)"; $string['htmleditor'] = "Use Richtext HTML editor (IE only, 5.5 or later)";
$string['htmleditoravailable'] = "The Richtext editor is available"; $string['htmleditoravailable'] = "The Richtext editor is available";
$string['htmleditordisabled'] = "You have disabled the Richtext editor in your user profile"; $string['htmleditordisabled'] = "You have disabled the Richtext editor in your user profile";

5
theme/index.php
View file

@ -72,6 +72,11 @@
} }
echo "</TABLE>"; echo "</TABLE>";
echo "<BR><DIV align=center>";
$options["frame"] = "developer.html";
$options["sub"] = "themes";
print_single_button("$CFG->wwwroot/doc/index.php", $options, get_string("howtomakethemes"));
echo "</DIV>";
print_footer(); print_footer();
?> ?>