Updated mediawiki/extensions
Project: mediawiki/extensions/Configure  4976386ff9b4a7e0748d374cf723ef224b49c38e

Remove obsolete settings

Change-Id: I583f0eb09f0deade803eac0ad9b57fe0ae413464