Category:MediaWiki configuration settings introduced in version 1.13.0

From mediawiki.org