Category:MediaWiki configuration settings introduced in version 1.5.7/de