Catégorie:Options de configuration retirées avec MediaWiki 1.31.0