I'm seeing a discrepancy between what my Ubuntu server reports as the current installed version of PHP (7.4.1) and what my MediaWiki Special:Version page says is the current installed version of PHP (7.0.33).
The instructions say that the versions of PHP used at the command line and by MediaWiki can be different, but I'm not sure how to resolve it (and the instructions just say to "ask your hoster"). Any suggestions, or could someone point me to instructions? Thanks! Huwmanbeing (talk) 10:57, 21 December 2019 (UTC)