As Niklas pointed out, removing support for a PHP version from core can be disruptive for sites running on master. I think we agreed during the meeting that such a changed should be announced on wikitech-l a couple of weeks in advance. Can we put that after "Outside the above criteria, maintainers of MediaWiki core (as defined by the Privilege policy) are free to drop support for other versions of PHP without needing to involve TechCom or its RFC process."?
Topic on Talk:Support policy for PHP
Oops, forgot about that. Yes, absolutely. Done now :)