Updated mediawiki/extensions
Project: mediawiki/extensions/Wikibase  d9ff7467e746f1476cc76b1b0530fb6c475b1a70
null
Step towards splitting the settings of lib, repo and client into dedicated interfaces

Change-Id: I8313756e94a4dc953ced1d3dacaa20aa4afbc96f