Updated mediawiki/extensions
Project: mediawiki/extensions/Wikibase  7d4a989a6ad7df9b28301d37a49366c6401206e3

Removed deprecated use of class Settings

Replaced uses by WikibaseRepo::getDefaultInstance()->getSettings()

Change-Id: I31fa2df1855ddba36df328d8e0bbca73bbc8348e