diff --git a/lib/weblib.php b/lib/weblib.php index dddc142a88f..7f9578ff6b4 100644 --- a/lib/weblib.php +++ b/lib/weblib.php @@ -2679,7 +2679,7 @@ function update_module_button($moduleid, $courseid, $string) { return "