available_extensions)) { ?>
|
|
|
|
available_extensions as $ext) { ?>
|
|
|
extensions_installed[$ext['name']])) { ?>
extensions_installed[$ext['name']], $ext['version']) >= 0) { ?>
extensions_installed[$ext['name']] != $ext['version']) { ?>
|
extension) ? ' class="active"' : ''; ?>