[Wikitech-l] Re: Dropping PHP 7.3 support