';
echo '
';
echo __('There\'s a new update for Pandora');
echo '. ';
echo __('More info');
echo '';
echo '';
}
}
function pandora_update_manager_godmode () {
global $config;
global $db;
load_update_manager_lib ();
require_once ('update_manager/settings.php');
}
add_operation_menu_option (__('Update manager'));
add_godmode_menu_option (__('Update manager settings'), 'PM','gsetup');
add_extension_main_function ('pandora_update_manager_main');
add_extension_godmode_function ('pandora_update_manager_godmode');
add_extension_login_function ('pandora_update_manager_login');
$db = NULL;
pandora_update_manager_install ();
?>