[01:42:46] <Krinkle>	 TimStarling: btw, couldn't tell whether this is significant or not (since getActions has a non-obvious source for its data), but in case you missed it, this change seems to reverse the merge precedence order at https://gerrit.wikimedia.org/r/c/mediawiki/extensions/AbuseFilter/+/703880/1/includes/FilterValidator.php#336
[01:44:58] <TimStarling>	 precedence order doesn't matter, since the array values are thrown away, only the keys are used
[01:47:41] <TimStarling>	 reversing the order of operands to array_merge or the + operator only changes which values appear in $allEnabledActions
[01:51:27] <TimStarling>	 my understanding of Matěj's comment is that he investigated not getting the array values in the first place, but found that getActionsNames() is too broken to be usable
[01:54:39] <Krinkle>	 TimStarling: ack, thx, I got distracted tracking down the source, not realizing the values are never used in this function.