minor #34443 Allow PHP ^7.2.5 (nicolas-grekas)

This PR was merged into the 5.0 branch.

Discussion
----------

Allow PHP ^7.2.5

| Q             | A
| ------------- | ---
| Branch?       | 5.0
| Bug fix?      | no
| New feature?  | no
| Deprecations? | no
| Tickets       | Fix #34442
| License       | MIT
| Doc PR        | -

Let's what the CI says.

Will need tagging all contracts as v2.0.1 after merge.

Commits
-------

6194c2a96c Allow PHP ^7.2.5

Author: fabpot

composer.json

@@ -16,7 +16,7 @@
         }
     ],
     "require": {
-        "php": "^7.2.9"
+        "php": "^7.2.5"
     },
     "require-dev": {
         "symfony/config": "^5.0",