Extension:Push

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

Download
You can find the current version of Push on the Google Code download page, as well as a list of legacy downloads.

You can also get the code directly from SVN. Tags can be obtained via

svn checkout http://svn.wikimedia.org/svnroot/mediawiki/tags/extensions/Push/REL_version

Where 'version' is the version number of the tag, such as 0_1. The latest code can be obtained from trunk:

svn checkout http://svn.wikimedia.org/svnroot/mediawiki/trunk/extensions/Push/

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 0.1
2010-12-08

Initial release.


 * Push tab that allows pushing the page to one or more other wikis
 * ApprovedRevs support
 * 'push' right

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