Category:MediaWiki configuration settings deprecated in version 1.31.0

From mediawiki.org