Merge pull request #15643 from omarabuhussein/fixing-optionvalues-xml-processing
authorEileen McNaughton <emcnaughton@wikimedia.org>
Mon, 28 Oct 2019 19:35:43 +0000 (08:35 +1300)
committerGitHub <noreply@github.com>
Mon, 28 Oct 2019 19:35:43 +0000 (08:35 +1300)
commita95c7ad71df5dd5d4afe2cca9b902fb93acd163a
treee6eeb593a19009cf732159458c78c15e317608f1
parent56d5060a2aed403f27ce2a5f524513bdda55d6b2
parent45a8391eaeb0a01cd78942be23b8c7280ba57ed1
Merge pull request #15643 from omarabuhussein/fixing-optionvalues-xml-processing

Fixing a fatal error when installing extensions with Option Values defined in XML