[18:26:50] <paladox>	 Reedy hi, im wondering if you could review https://gerrit.wikimedia.org/r/#/c/mediawiki/extensions/MassEditRegex/+/479193/ and https://gerrit.wikimedia.org/r/#/c/mediawiki/extensions/intersection/+/479192/ please? :) (they are php 7.3 fixes)
[18:52:43] <paladox>	 Reedy thanks!
[18:55:19] <paladox>	 Reedy wondering, could you also merge the backports too please? ( https://gerrit.wikimedia.org/r/#/c/mediawiki/extensions/MassEditRegex/+/480147/ https://gerrit.wikimedia.org/r/#/c/mediawiki/extensions/MassEditRegex/+/480146/ ) (https://gerrit.wikimedia.org/r/#/c/mediawiki/extensions/intersection/+/480149/ https://gerrit.wikimedia.org/r/#/c/mediawiki/extensions/intersection/+/480148/)
[18:58:39] <Reedy>	 paladox: jerkin says no
[18:59:07] <paladox>	 heh
[18:59:54] <paladox>	 Seems to be failing on a error not related to the patches
[19:11:39] <paladox>	 seems to fail only on REL1_31 for intersection.
[19:13:34] <Hauskatze>	 Any deployer up to do SWAT?
[19:14:36] <Hauskatze>	  ** being taken care of **