Category:MediaWiki configuration settings removed in version 1.17.0

From mediawiki.org