MediaWiki:Push-desc/fr

Extension peu gourmande servant à pousser (push en anglais) du contenu vers d'autres wikis