[06:11:40] <wikibugs>	 10serviceops, 10Dumps-Generation, 10Patch-For-Review, 10Performance-Team (Radar): Remove php 7.2 from production - https://phabricator.wikimedia.org/T318894 (10Joe) p:05Triage→03High