$PAGE->set_url('mod/workshop/develtools.php', array('cmid' => $cm->id));
$PAGE->set_title($workshop->name);
$PAGE->set_heading($course->fullname);
-$PAGE->set_button(update_module_button($cm->id, $course->id, get_string('modulename', 'workshop')));
+$PAGE->set_button($OUTPUT->update_module_button($cm->id, 'workshop'));
$wsoutput = $PAGE->theme->get_renderer('mod_workshop', $PAGE);
$editblocks->url = new moodle_url($PAGE->url, array('edit' => $PAGE->user_is_editing() ? 'off' : 'on'));
$buttons[] = $OUTPUT->button($editblocks);
}
-$buttons[] = update_module_button($cm->id, $course->id, get_string('modulename', 'workshop'));
+$buttons[] = $OUTPUT->update_module_button($cm->id, 'workshop');
$PAGE->set_button(implode('', $buttons));
// todo navigation will be changed yet for Moodle 2.0
}
echo "</ol></li>" . "\n";
echo "</ol>\n";
+echo "<p><a href=\"develtools.php?cmid={$cm->id}\">Workshop development tools</a></p>\n";
echo $OUTPUT->box_end();
echo $OUTPUT->footer();