[01:40:18] <Ursula>	 Skizzerz: Can we remove the +q now?
[01:42:37] <Skizzerz>	 Ursula: spambots are still ongoing in other channels
[01:42:56] <Skizzerz>	 we could try removing it, but may need to re-apply in short order
[01:43:19] <Ursula>	 Oh, okay.
[01:43:27] <Ursula>	 Just didn't want it to be forgotten. :-)
[01:43:40] <Skizzerz>	 eir is set to expire it automatically after 24h
[01:44:05] <Skizzerz>	 also it seems that there's a global +b on $~a
[01:44:11] <Skizzerz>	 which is why we haven't been seeing anything here at all
[01:44:22] <Skizzerz>	 (global as in set in -bans)
[01:44:54] <Ursula>	 Ah, hm.
[01:44:58] <Ursula>	 Does eir manage this channel?
[01:45:24] <Skizzerz>	 it's in here
[01:45:26] <Skizzerz>	 so... yes?
[01:45:50] <Ursula>	 All right.
[09:58:11] <JeroenDeDauw>	 Nikerabbit: I ran your magical command
[15:29:07] <cariaso>	 https://www.mediawiki.org/wiki/Extension:OATHAuth indicates "This extension comes with MediaWiki 1.31 and above." but I see no evidence of that. can someone confirm/deny?
[15:36:59] <DanielK_WMDE>	 cariaso: "comes with" means it's included in the tarball, and can be enabled in the installer.
[15:37:06] <DanielK_WMDE>	 if you install from git, it'S not there
[15:37:18] <cariaso>	 got it, thanks.
[15:37:54] <DanielK_WMDE>	 actually, you may be able to fetch it as a submodule. I'm not up to speed with how that stuff is set up these days