diff --git a/lib/weblib.php b/lib/weblib.php index 43b4132f30a..2f2143f0d31 100644 --- a/lib/weblib.php +++ b/lib/weblib.php @@ -4366,9 +4366,8 @@ function print_side_block_start($heading='', $attributes = array()) { echo '