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