Merge pull request #15070 from eileenmcnaughton/deprecation
authorEileen McNaughton <emcnaughton@wikimedia.org>
Tue, 20 Aug 2019 04:49:20 +0000 (16:49 +1200)
committerGitHub <noreply@github.com>
Tue, 20 Aug 2019 04:49:20 +0000 (16:49 +1200)
Remove deprecated unused function.


Trivial merge