Category:MediaWiki configuration settings removed in version 1.37.0/de-formal