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:

Push targets
You can add push targets (wikis you can push content to) by adding elements to the  array in your LocalSettings.php file. The array keys should be the names of your wikis and the values should point to the wiki root, without tailing slash. Example:

Tab display
When using vector like skins, you can choose to have the push tab displayed on the page itself, or in the action menu you can open by clicking the down arrow next to the visible tabs. For this you need to set the  variable to either true or false in 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.