[04:40:55] <snitch>	 [[Tech]]; Fgnievinski; /* Renderization of symbol "not greater than" */; https://meta.wikimedia.org/w/index.php?diff=26628732&oldid=26612067&rcid=30838599
[10:03:10] <duesen>	 Hi all! I am trying to re-think how chageprop-jobqueue makes requests to runSingleJob.php.  In particular, how it's picking the wiki. Currently, this is done by a field in the request body. I'd like to start using a header field instead. Who should I talk to to figure out how to make that happen?
[10:03:54] <duesen>	 Mind you, I don't know anything about how changeprop code, and little about MultiVersion...
[11:00:13] <kamila_>	 duesen: on the SRE side h.nowlan might have some pointers (but he's on PTO currently)
[11:33:40] <duesen>	 kamila_: thank you!
[12:05:55] <NMW03>	 I have a suggestion about interface admins, I think interface admins should be able to delete MediaWiki script pages, if only you can edit them, why wouldn't you delete it too? Currently you need both sysop and interface-admin rights to delete js/css/json pages