Category:MediaWiki configuration settings deprecated in version 1.23.0/de-formal