These is the readme file for the Push extension.
	
Extension page on mediawiki.org: http://www.mediawiki.org/wiki/Extension:Push
Latest version of the readme file: http://svn.wikimedia.org/viewvc/mediawiki/trunk/extensions/Push/README?view=co

== About ==

The Push extension is a simple lightweight tool that adds an extra tab to articles which
enables users to push the content of the article to one or more other MediaWiki wikis.