[01:24:54] <Carmela>	 The +v for *!*@*wikimedia.org in here seems a bit goofy.
[01:24:59] <Carmela>	 It was intended for bots that are no longer in here.
[01:25:19] <Carmela>	 If an !op could kill that +V entry, that'd be nice.
[02:15:55] <RD>	 you're not an op, Carmela?
[02:16:01] <RD>	 or a +f op
[02:16:13] <RD>	 And yes...when did that start?
[02:17:12] <RD>	 Oh, never mind - wrong one.
[02:27:47] <TimStarling>	 done
[04:39:50] <Carmela>	 Thanks.
[06:34:18] <Glaisher>	 am I the only one having trouble with SUL autologin?
[06:34:36] <Glaisher>	 it doesn't seem to work as it should since last week
[06:37:34] <Bsadowski1>	 =D
[06:37:38] <Bsadowski1>	 Glaisher
[06:37:40] <Bsadowski1>	 \o/
[06:37:46] <Bsadowski1>	 Oh?
[07:08:07] <legoktm>	 Glaisher: how is it not working?
[07:09:33] <Glaisher>	 It's supposed to login automatically when I visit another wiki but I've had to manually login on every wiki for the past few days
[07:11:32] <Glaisher>	 well, "every wiki" is an exaggeration
[08:09:59] <Nemo_bis>	 jsonconfig lacks a description https://it.wikipedia.org/wiki/Speciale:ElencoPermessiGruppi
[08:10:06] <Nemo_bis>	 jsonconfig-flush (jsonconfig-flush)
[19:22:37] <Nemo_bis>	 I don't understand... https://gerrit.wikimedia.org/r/#/c/158578/ was merged before 1.24wmf21, but only states "included in 1.24wmf22", but it's not listed in https://www.mediawiki.org/wiki/MediaWiki_1.24/wmf21 or *2
[19:23:59] <legoktm>	 it doesn't look like it made it into 21: https://github.com/wikimedia/mediawiki-extensions-CentralAuth/commits/wmf/1.24wmf21
[19:24:34] <legoktm>	 21 was branched on sept 11, https://gerrit.wikimedia.org/r/#/c/158578/ was merged on the 16th.
[19:24:51] <Krenair>	 17th. 00:30 AM
[19:25:11] <legoktm>	 I think I have gerrit in my local tz.
[19:25:26] <legoktm>	 but I don't know why it's not listed on https://www.mediawiki.org/wiki/MediaWiki_1.24/wmf22#CentralAuth ...Reedy?
[19:25:40] <Nemo_bis>	 Yep,  17 0.30 UTC
[19:25:49] <Nemo_bis>	 I was looking at the wrong date, ahem
[19:26:01] <Nemo_bis>	 still, it should be in one of the two pages :)
[22:10:08] <Nemo_bis>	 Oh, I have to save a local copy of https://bugzilla.wikimedia.org/page.cgi?id=voting/user.html
[23:17:54] <jackmcbarn>	 css is going in and out intermittently on mediawikiwiki
[23:19:46] <MaxSem>	 jackmcbarn, from gadget?
[23:19:58] <MaxSem>	 I accidentally it for 3 minutes
[23:19:59] <jackmcbarn>	 MaxSem: no idea, but it seems to be working now that you reverted that thing in -ops
[23:21:01] <jackmcbarn>	 MaxSem: while you're around, what's "ES" you referred to in https://gerrit.wikimedia.org/r/#/c/161623/2..3/api/ApiQueryCoordinates.php ?
[23:21:13] <MaxSem>	 Elasticsearch
[23:22:14] * jackmcbarn wants the shiny new toy to work on the moon too :p
[23:33:08] <legoktm>	 mw.o doesn't have a Common.css, it's all in a gadget.
[23:34:24] <jackmcbarn>	 legoktm: why?
[23:35:08] <legoktm>	 because a gadget is usually better, since it lets you explicitly specify dependencies and isn't in global scope, etc.