Translations:Manual:PopulateCategory.php/7/fr

Ce script est automatiquement géré par update.php si la mise à jour date d'avant MediaWiki 1.13.