Category:MediaWiki configuration settings deprecated in version 1.25.0/en