Merge pull request #16145 from eileenmcnaughton/index_api
authorEileen McNaughton <emcnaughton@wikimedia.org>
Mon, 23 Dec 2019 04:41:10 +0000 (17:41 +1300)
committerGitHub <noreply@github.com>
Mon, 23 Dec 2019 04:41:10 +0000 (17:41 +1300)
commitd1dd266b7e980fa46243f5a8644317cb7c892e2c
tree3c678302771ebf6d3cabbaace3ddda2005feb096
parent1ca18cc4e3d2ce417b4843bd36022c4464bc221d
parenta5e6535c47ec2a4d5e7d08c4859c577904fec657
Merge pull request #16145 from eileenmcnaughton/index_api

Add api to check for missing indices