From 1b73ea5799c272946dc949c65789f375c81415d2 Mon Sep 17 00:00:00 2001 From: moodler Date: Mon, 6 Jan 2003 08:22:49 +0000 Subject: [PATCH] Link from themes page to themes docs --- lang/en/moodle.php | 1 + theme/index.php | 5 +++++ 2 files changed, 6 insertions(+) diff --git a/lang/en/moodle.php b/lang/en/moodle.php index 8ae84f7f98..962da4724b 100644 --- a/lang/en/moodle.php +++ b/lang/en/moodle.php @@ -230,6 +230,7 @@ $string['hitsoncoursetoday'] = "Today's hits on \$a->coursename by \$a->username $string['home'] = "Home"; $string['hour'] = "hour"; $string['hours'] = "hours"; +$string['howtomakethemes'] = "How to make new themes"; $string['htmleditor'] = "Use Richtext HTML editor (IE only, 5.5 or later)"; $string['htmleditoravailable'] = "The Richtext editor is available"; $string['htmleditordisabled'] = "You have disabled the Richtext editor in your user profile"; diff --git a/theme/index.php b/theme/index.php index 11af3a8e36..ae9be68ec6 100644 --- a/theme/index.php +++ b/theme/index.php @@ -72,6 +72,11 @@ } echo ""; + echo "
"; + $options["frame"] = "developer.html"; + $options["sub"] = "themes"; + print_single_button("$CFG->wwwroot/doc/index.php", $options, get_string("howtomakethemes")); + echo "
"; print_footer(); ?> -- 2.39.5