// Are there jobs to be done?
if ($JOBS_DONE) {
// Generate overview of all main menus
- if ((is_array($GLOBALS['menu']['description'])) && (sizeof($GLOBALS['menu']['description']) > 0)) {
+ if ((is_array($GLOBALS['menu']['description'])) && (count($GLOBALS['menu']['description']) > 0)) {
$OUT = "";
foreach ($GLOBALS['menu']['description'] as $key => $value)
{