[13:20:49] <addshore>	 anyone got any time to look into https://gerrit.wikimedia.org/r/#/c/mediawiki/core/+/603572/? :) (as it's blocking 11 other patches currently)