Du kannst eine neue PHP Datei auf den Server legen

Bspw. info.php mit



Wenn du die Datei im Browser aufrufst kommt eine Übersicht der PHP-Konfiguration und es sollte sich folgender Eintrag finden:



> Eigentlich sollte dies ja bereits Bestandteil von PHP7.2 sein

Eigentlich sollte es installiert sein, falls der Hoster mit PHP 7.2+ wirbt.