Searched refs:extensions_update (Results 1 – 1 of 1) sorted by relevance
20 $extensions_update = array(); variable52 $extensions_update[] = $extension->getDisplayName();67 $extensions_update[] = $extension->getDisplayName();73 sort($extensions_update);157 <?php if ($INFO['isadmin'] && count($extensions_update)): ?>159 …in', 'page' => 'extension')); ?>" title=" - <?php echo implode(' - ', $extensions_update) ?>">160 …getLang('extensions_update'); ?> <span class="badge"><?php echo count($extensions_update) ?></span>