PHP 7.2.x is HTML-embedded scripting language. This package does not contain anything by itself -- it is a "meta-package" that depends on other PHP packages. Its sole purpose is to require dependencies so users can install this package only and have all the PHP stuff pulled in by the package dependency mechanism.