2018-08-14 - tools
21:02	<legoktm>	rebuilt php7.2 docker images for https://gerrit.wikimedia.org/r/452755	[tools]