+ global $installed_extensions;
+
+ $tabs = array();
+ foreach ($_SESSION['App']->applications as $app) {
+ $tabs[$app->id] = access_string($app->name, true);
+ }
+ if ($all) { // add also not active ext. modules
+ foreach ($installed_extensions as $ext) {
+ if ($ext['type'] == 'module' && !$ext['active'])
+ $tabs[$ext['tab']] = access_string($ext['title'], true);
+ }
+ }