', '', '', 'extensions' ); ?>
theme_upgrades_available() ) { ?>

theme_upgrades_available() ) { ?>

extension_upgrades_available() ) { ?>