From b5282a813b1d3b9e352df84376ad96051dfd275d Mon Sep 17 00:00:00 2001 From: kanasimi Date: Thu, 25 Jan 2024 05:49:42 +0800 Subject: [PATCH] needless session.get_URL_options.headers --- wiki loader.js | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/wiki loader.js b/wiki loader.js index 3002cad..adad984 100644 --- a/wiki loader.js +++ b/wiki loader.js @@ -219,6 +219,8 @@ function login_options_of_API_URL(API_URL) { } if (login_options.user_agent) { + CeL.debug('login_options_of_API_URL: Using customization user agent: ' + + login_options.user_agent, 1); CeL.get_URL.default_user_agent = login_options.user_agent; } @@ -332,7 +334,7 @@ _global.Wiki = function new_wiki(do_login, API_URL) { }; } - if (!session.get_URL_options.headers) { + if (false && !session.get_URL_options.headers) { session.get_URL_options.headers = Object.create(null); } if (CeL.get_script_name()) {