Updated mediawiki/extensions
Project: mediawiki/extensions/CentralNotice  d7208dd2e7510642171a0b9c73ddcdcc621fe088

Reuse $wgCentralDBname for the Choice infrastructure

I don't think we need to make this independently conditional of the
main infrastructure config.

Change-Id: If967c4a6b65773b0ba3b8235b1b07498747c1863