PHP officially ended support for PHP 7.2 on 2020-11-30. So it is safe to
bump the minimum version to PHP 7.2 for phpMyAdmin 5.2, which is likely
to be released only in the second half of 2021.
Related to #15607
Signed-off-by: Maurício Meneghini Fauth <mauricio@fauth.dev>