Category:MediaWiki configuration settings deprecated in version 1.4.0/en