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

fabpot · fabpot · commit 5d67bc113f3e · 2019-11-20T12:12:35.000+01:00
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
diff --git a/composer.json b/composer.json
@@ -16,7 +16,7 @@
         }
     ],
     "require": {
-        "php": "^7.2.9"
+        "php": "^7.2.5"
     },
     "require-dev": {
         "symfony/config": "^5.0",

Original file line number	Diff line number	Diff line change
`@@ -16,7 +16,7 @@`
`16`	`16`	`}`
`17`	`17`	`],`
`18`	`18`	`"require": {`
`19`		`- "php": "^7.2.9"`
	`19`	`+ "php": "^7.2.5"`
`20`	`20`	`},`
`21`	`21`	`"require-dev": {`
`22`	`22`	`"symfony/config": "^5.0",`