Catégorie:Options de configuration obsolètes depuis MediaWiki 1.31.0

From mediawiki.org