Translations:Beta Features/PHP7/3/en

The Wikimedia Foundation is moving all Wikimedia wikis to use PHP7$1 in early 2019.