[4.0] Bump PHP minimum to 7.2.5#27191

HLeithner merged 2 commits intojoomla:4.0-devjoomla/joomla-cms:4.0-devfrom

zero-24:php725-4.0-devzero-24/joomla-cms:php725-4.0-devCopy head branch name to clipboard