My host now offers PHP 7.3 for my server, but before I make the jump, it would be worth clarifying if MediaWiki 1.33 is the first version to support PHP 7.3 – according to this page, MediaWiki 1.32 and earlier versions (at the very least) were not ready for PHP 7.3.