</li> <?php } } } } } ?> </ul> </div> </div> <?php // insert the extensions if exist (MENUGROUP) $menuGroupExtensions = $Circulation->getMenuGroupExtensions('CF_GROUP_USERDEFINED', $extensions); $userDefinedGroups = $Circulation->getUserdefinedGroups($menuGroupExtensions); if ($menuGroupExtensions) { $max3 = sizeof($userDefinedGroups); for ($index3 = 0; $index3 < $max3; $index3++) { $userDefinedGroup = $userDefinedGroups[$index3]; ?> <div class="submenu"> <div class="subhead"> <?php echo $userDefinedGroup; ?> </div> <div class="submain"> <ul> <?php $max = sizeof($menuGroupExtensions);