[10:23:05] <njsg>	 is there a way to set a theme/skin without logging in in mediawiki?
[10:23:37] <njsg>	 due to hardware issues, I am currently browsing it without login and wow is the current default theme unusable...
[10:23:55] <njsg>	 I know about the GET parameter, but apparently it only works once and is then forgotten
[12:08:04] <physikerwelt>	 Is someone elese having problems with failing centralauth CI tests T377197 to me tests seem to fail again after https://gerrit.wikimedia.org/r/c/mediawiki/extensions/CentralAuth/+/1081070 was merged
[12:08:05] <stashbot>	 T377197: SpecialCentralAuthTest fails when run in a suite with AccountCreationDetailsLookupTest - https://phabricator.wikimedia.org/T377197
[12:33:33] <ashley>	 njsg: not really; I wrote such an extension a while ago for my use but it's not been really properly "released" yet, but I can probably upload it somewhere if you'd want it; also, https://www.mediawiki.org/wiki/Manual:Themes :-)
[15:37:34] <Cocopuff2018>	 https://usercontent.irccloud-cdn.com/file/PCRweZye/screenshot-20241028103715.pdf
[15:38:22] <Cocopuff2018>	 what do we need to do to get delete wiki working? 
[15:38:28] <Cocopuff2018>	 on manage wiki extension 
[16:39:28] <njsg>	 ashley: extension as in mediawiki extension?
[16:39:40] <njsg>	 (just wondering if it's that or a browser extension)
[18:02:22] <Cocopuff2018>	 correct @njsg
[18:36:42] <ashley>	 njsg: yep, MW extension, not a browser add-on