[12:07:01] <wikibugs>	 10serviceops, 10MediaWiki-General, 10MediaWiki-Stakeholders-Group, 10MW-1.35-release, and 2 others: Drop PHP 7.2 support in MediaWiki 1.35 - https://phabricator.wikimedia.org/T257879 (10CDanis)
[12:28:28] <wikibugs>	 10serviceops, 10MediaWiki-General, 10MediaWiki-Stakeholders-Group, 10Release-Engineering-Team, and 3 others: Drop PHP 7.2 support in MediaWiki 1.35 - https://phabricator.wikimedia.org/T257879 (10Reedy)
[13:43:09] <wikibugs>	 10serviceops, 10MediaWiki-General, 10MediaWiki-Stakeholders-Group, 10Release-Engineering-Team, and 3 others: Drop PHP 7.2 support in MediaWiki 1.35 - https://phabricator.wikimedia.org/T257879 (10RhinosF1) Spoke to @Paladox and there's no issue on Miraheze's end with dropping 7.2. To my knowledge, everythin...