corrected a wrong closing div

This commit is contained in:
urs_hunkler 2007-07-18 19:51:11 +00:00
parent 9580a21f1c
commit 966c9a686c

View file

@ -5858,10 +5858,10 @@ function print_side_block_end($attributes = array()) {
if (!empty($THEME->customcorners)) { if (!empty($THEME->customcorners)) {
require_once($CFG->dirroot.'/lib/custom_corners_lib.php'); require_once($CFG->dirroot.'/lib/custom_corners_lib.php');
print_custom_corners_end(); print_custom_corners_end();
} else {
echo '</div>';
} }
echo '</div>';
// IE workaround: if I do it THIS way, it works! WTF? // IE workaround: if I do it THIS way, it works! WTF?
if (!empty($CFG->allowuserblockhiding) && isset($attributes['id'])) { if (!empty($CFG->allowuserblockhiding) && isset($attributes['id'])) {
echo '<script type="text/javascript">'."\n//<![CDATA[\n".'elementCookieHide("'.$attributes['id'].'"); '. echo '<script type="text/javascript">'."\n//<![CDATA[\n".'elementCookieHide("'.$attributes['id'].'"); '.