2019-04-15 - production
08:58	<moritzm>	updating mediawiki servers in eqiad to version 1.8.1 of the PHP extension for wikidiff	[production]