[03:16:56] <AaronSchulz>	 TimStarling: https://gerrit.wikimedia.org/r/c/mediawiki/core/+/771081 might fix the CI failures
[03:34:00] * AaronSchulz keeps getting "session_id(): Session ID cannot be changed after headers have already been sent" spam on master phpunit
[03:43:05] <AaronSchulz>	 oh, just space before <?php :)