Category:MediaWiki configuration settings removed in version 1.31.0/ar

From mediawiki.org