keygen_path)) return false; $user_key = exec ($settings->keygen_path); $package = um_client_check_latest_update ($settings, $user_key); if (is_object ($package)) { echo '

'; 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'); 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 (); ?>