[12:20:46] <Hauskatze>	 Reedy: is this now okay? https://gerrit.wikimedia.org/r/#/c/mediawiki/core/+/481497/