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