unset($EXT_DUMMY['ext_active'][$k]);
$EXT_DUMMY['ext_menu'][$name] = $EXT_DUMMY['ext_menu'][$k];
unset($EXT_DUMMY['ext_menu'][$k]);
unset($EXT_DUMMY['ext_active'][$k]);
$EXT_DUMMY['ext_menu'][$name] = $EXT_DUMMY['ext_menu'][$k];
unset($EXT_DUMMY['ext_menu'][$k]);
unset($EXT_DUMMY['ext_keep'][$k]);
$k2 = $EXT_DUMMY['ext_id'][$k];
$EXT_DUMMY['ext_id'][$k2] = $name;
unset($EXT_DUMMY['ext_keep'][$k]);
$k2 = $EXT_DUMMY['ext_id'][$k];
$EXT_DUMMY['ext_id'][$k2] = $name;
// Loading cache is done so let's free some memory!
unset($EXT_DUMMY['ext_lang']);
unset($EXT_DUMMY['ext_keep']);
unset($EXT_DUMMY['ext_css']);
unset($EXT_DUMMY['ext_funcs']);
// Loading cache is done so let's free some memory!
unset($EXT_DUMMY['ext_lang']);
unset($EXT_DUMMY['ext_keep']);
unset($EXT_DUMMY['ext_css']);
unset($EXT_DUMMY['ext_funcs']);
{
// If current user is not admin load only activated extensions
// The admin shall use every available extension for testing purposes
{
// If current user is not admin load only activated extensions
// The admin shall use every available extension for testing purposes
// Extensions are registered so we load them
while (list($EXT_ID, $name, $lang, $css, $active, $version) = SQL_FETCHROW($res_ext_crt))
// Extensions are registered so we load them
while (list($EXT_ID, $name, $lang, $css, $active, $version) = SQL_FETCHROW($res_ext_crt))