User talk:Ladsgroup

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia
(Redirected from User talk:Dexbot)

Is Dexbot down?[edit]

WP:BAM says it hasn't edited since 5 May 2022. Headbomb {t · c · p · b} 12:53, 23 June 2023 (UTC)[reply]

Oh probably, I will restart it soon. Ladsgroupoverleg 12:54, 23 June 2023 (UTC)[reply]
@Headbomb The bot has been restarted. Thanks for letting me know. Ladsgroupoverleg 01:58, 13 November 2023 (UTC)[reply]

ArbCom 2023 Elections voter message[edit]

Hello! Voting in the 2023 Arbitration Committee elections is now open until 23:59 (UTC) on Monday, 11 December 2023. All eligible users are allowed to vote. Users with alternate accounts may only vote once.

The Arbitration Committee is the panel of editors responsible for conducting the Wikipedia arbitration process. It has the authority to impose binding solutions to disputes between editors, primarily for serious conduct disputes the community has been unable to resolve. This includes the authority to impose site bans, topic bans, editing restrictions, and other measures needed to maintain our editing environment. The arbitration policy describes the Committee's roles and responsibilities in greater detail.

If you wish to participate in the 2023 election, please review the candidates and submit your choices on the voting page. If you no longer wish to receive these messages, you may add {{NoACEMM}} to your user talk page. MediaWiki message delivery (talk) 00:31, 28 November 2023 (UTC)[reply]

Happy Holidays! 😊[edit]

...and a Happy New Year 2024!
Hi Ladsgroup,

I think I'll be at Wikimania 2024 in Poland! Not entirely sure about WikiCon yet, as the location hasn't been decided on yet and I'm probably happy with one Wikipedia convention per year. But Wikimania likely won't be as close to me as in 2024 in the next years, so I'll probably take that opportunity. I guess in a hundred years or so, it will come back to Frankfurt where it once started... 🙂

Ceterum censeo T341626 esse delendam 😅💚 ~ ToBeFree (talk) 13:58, 24 December 2023 (UTC)[reply]

Hi! Thank you and happy holidays to you too. I hope you have a great year ahead full of joy and happiness. I'm not sure about wikicon either but I will be in Wikimania and looking forward to meeting you too! (note that 2026 will be in Paris and it's not that far, there are direct trains from Koln and Frankfurt)
I'm planning to work on that and support for regex and bypass during the holidays. Fingers crossed. Ladsgroupoverleg 21:29, 24 December 2023 (UTC)[reply]

mediawiki.cookie[edit]

You should probably go back through all the replacements you made recently, it looks like you made a lot of errors. For one, mw.cookie by default applies a prefix to all cookies while jquery.cookie does not, leading to whatever was saved in the cookies being "forgotten" due to the name change. For another, passing a number for expires to jquery.cookie sets the time in days, while for mw.cookie it sets the time in seconds, leading cookies to expire far sooner than intended. Also in spot checking I saw one case where you used mw.cookie.get rather than mw.cookie.set. Anomie 22:53, 12 January 2024 (UTC)[reply]

Thanks, I'll go through them. For the first issue, that's okay IMO. The prefix is how it should be and there is no expectation of persistence in cookies (browsers flush them all the time). For the rest, I check and fix them Ladsgroupoverleg 12:47, 13 January 2024 (UTC)[reply]
IMO it was annoying when my script suddenly reset to defaults after years of keeping the settings it stores in a cookie. People using scripts that set long-lived cookies likely do not expect browsers to randomly delete them. Anomie 13:17, 13 January 2024 (UTC)[reply]
Years? Chrome actively doesn't have cookie max age more than 400 days [1] and firefox basically clears them every couple of weeks ([2] and [3]) Ladsgroupoverleg 13:21, 13 January 2024 (UTC)[reply]
Yes, years. None of your links seem relevant. Anomie 20:20, 13 January 2024 (UTC)[reply]