Extension:Push

The Push extension is a simple leightwieght tool that adds an extra tab to artciles that allows users to push the content of the article to another MediaWiki wiki.

Installation
Once you have downloaded the code, place the Push directory within your MediaWiki 'extensions' directory. Then add the following code to your LocalSettings.php file:

Version
Push has not been released yet.

Authors
Push has been written by Jeroen De Dauw as WikiWorks consultant for Texas Instruments.