Updated mediawiki/extensions
Project: mediawiki/extensions/CirrusSearch  1bfd4420f576ea548cdf892d0c9904bcea00cf17

Add api to dump mapping and settings

Just like we can dump the page contents or the query this lets us dump the
mapping and the settings.  It isn't wrapped in a pool counter but should be
low overhead enough that it doesn't matter.

Change-Id: I224c7270cc15b5e0bc0d811daf519ebf03445dd5