Category:MediaWiki configuration settings introduced in version 1.15.0/de

From mediawiki.org