Merge pull request #17929 from demeritcowboy/required-not-5.28
authorEileen McNaughton <emcnaughton@wikimedia.org>
Thu, 23 Jul 2020 22:42:12 +0000 (10:42 +1200)
committerGitHub <noreply@github.com>
Thu, 23 Jul 2020 22:42:12 +0000 (10:42 +1200)
dev/core#1903 - Avoid E_WARNING and remove code


Trivial merge