Category:MediaWiki configuration settings removed in version 1.4.0/en