/PushAll

MediaWiki extension: PushAll (archived on Github) New repo: https://gerrit.wikimedia.org/g/mediawiki/extensions/PushAll

Primary LanguagePHPOtherNOASSERTION

These is the readme file for the PushAll extension.

Extension page on mediawiki.org: https://www.mediawiki.org/wiki/Extension:PushAll

== About ==

The PushAll extension is a tool that adds an extra tab to articles which
enables users to push the contents of an article to one or more other MediaWiki wikis.
Each users can insert a new remote wiki in his preferences (with the credentials of
bot used to access at this remote wiki).