Given that MediaWiki 1.31 is LTS, we should make it compatible with PHP 7.3 (like we did with 1.27 at some point). This is necessary for Debian, as it'll be shipping with both 1.31 and 7.3.
I started filing some tasks, it looks like some require commits to be backported, while others will require fixes in master as well.