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.

Feature overview

 * Pushing page content to other wikis via a tab on the page.
 * Bulk push via Special:Push. (as of version 0.2)
 * Support for ApprovedRevs. If there is an approved revision, it will be pushed, if not, the latest one is pushed.
 * AdminLinks integration.

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 (see the available tags). 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. You can find your wiki root by clicking the history tab on a page, finding the '/index.php' in it, and taking everything that's left of that. Example:

Rights
Push adds the following rights to MediaWiki:


 * push: Indicates whether you are able to use the push functionality or not.
 * bulkpush: Indicates whether you are able to use Special:Push or not. (as of v0.3)

By default everyone has 'push', and only registered users have 'bulkpush'. The later is to prevent anonymous users from easily vandalizing the target wikis.

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.

Push workers
Special:Push pushes multiple pages simultaneously. By default this is limited to 3, but you can increase this by setting the value of  in your LocalSettings.php file. Putting it to high might result in very slow or even failing requests.

Version 0.3
2010-12-10


 * Fixed push functionality for wikis on remote domains.
 * Added 'bulkpush' right.
 * Added batch operations to Special:Push.
 * Added redlink support to the tab interface.
 * Improved error handling.

Version 0.2
2010-12-08


 * Added Special:Push for bulk pushing
 * Added AdminLinks hook

Version 0.1
2010-12-08

Initial release.


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

Internationalization
Push if fully internationalized. Translation of Push messages is done through translatewiki.net. The translation for this extension can be found here. To add language values or change existing ones, you should create an account on translatewiki.net, then request permission from the administrators to translate a certain language or languages on this page (this is a very simple process). Once you have permission for a given language, you can log in and add or edit whatever messages you want to in that language.

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