[14:58:16] <paladox>	 Reedy wondering if you could review/merge https://gerrit.wikimedia.org/r/c/mediawiki/core/+/884336 please? :)
[15:06:38] <Reedy>	 paladox: I think that might want backporting to REL1_38 and REL1_35 as the underlying patch is in both
[15:06:46] <Reedy>	 Needs a bit more wranging due to the config changes though
[15:06:57] <Reedy>	 So will have a look in a bit (I suspect fixing for one will work for the other)
[15:09:01] <paladox>	 1.38: https://gerrit.wikimedia.org/r/c/mediawiki/core/+/884339
[15:12:30] <paladox>	 1.35: https://gerrit.wikimedia.org/r/c/mediawiki/core/+/884340