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