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