Merge pull request #14193 from seamuslee001/5.14
authorEileen McNaughton <emcnaughton@wikimedia.org>
Fri, 3 May 2019 05:29:19 +0000 (17:29 +1200)
committerGitHub <noreply@github.com>
Fri, 3 May 2019 05:29:19 +0000 (17:29 +1200)
On PHP 7.2 we cannot start session until it has been configured by Dr…


Trivial merge