$filter) + $other_filter)); if ($modules === false) $modules = array(); $modules = array_unique($modules); foreach ($modules as $module) { echo safe_output($module) . "\n"; } } ?>