User:Bot doubleredirects/Gadget-DoubleRedirectFixer.js: Difference between revisions

Revision as of 11:26, 30 June 2025 view source Bot doubleredirects (talk \| contribs) Bots 11 edits No edit summary ← Older edit		Revision as of 11:28, 30 June 2025 view source Bot doubleredirects (talk \| contribs) Bots 11 edits No edit summary Newer edit →
Line 1:		Line 1:
	~~const BOT_USERS~~ = ~~[6163];~~		(() => {
	const api = new mw.Api();		const api = new mw.Api();