2019-05-29 - production
10:57	<Urbanecm>	deleteBatch.php for srwikinews finished (T212346)	[production]