- if ($no_menu==false && count($installed_extensions))
- {
- global $applications;
- foreach ($installed_extensions as $ext)
- {
- $s = $applications['system'];
- array_pop($applications);
- $applications[$ext['name']] = $ext['title'];;
- $applications['system'] = $s;
- }
- }