Category:MediaWiki configuration settings removed in version 1.18.0/de

From mediawiki.org