//
// Display list of all extensions - installed and available from repository
//
-function display_extensions()
+function display_extensions($mods)
{
global $installed_extensions;
table_header($th);
$k = 0;
- $mods = get_extensions_list('extension');
foreach($mods as $pkg_name => $ext)
{
echo "</center><br>";
if ($set == -1)
- display_extensions();
-else
+{
+ $mods = get_extensions_list('extension');
+ if (!$mods)
+ display_note(_("No optional extension module is currently available."));
+ else
+ display_extensions($mods);
+} else
company_extensions($set);
//---------------------------------------------------------------------------------------------