GitHub - simontaurus/mediawiki-extensions-Push: Github mirror of MediaWiki extension Push - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Developer_access for contributing)

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 564 Commits
i18n		i18n
modules		modules
src		src
.eslintrc.json		.eslintrc.json
.gitignore		.gitignore
.gitreview		.gitreview
.phpcs.xml		.phpcs.xml
CODE_OF_CONDUCT.md		CODE_OF_CONDUCT.md
COPYING		COPYING
Gruntfile.js		Gruntfile.js
INSTALL		INSTALL
Push.alias.php		Push.alias.php
Push.php		Push.php
README		README
RELEASE-NOTES		RELEASE-NOTES
composer.json		composer.json
extension.json		extension.json
package-lock.json		package-lock.json
package.json		package.json

Repository files navigation

These is the readme file for the Push extension.

Extension page on mediawiki.org: https://www.mediawiki.org/wiki/Extension:Push
Latest version of the readme file: https://github.com/wikimedia/mediawiki-extensions-Push/blob/master/README

== 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.

About

Github mirror of MediaWiki extension Push - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Developer_access for contributing)

gerrit.wikimedia.org

Readme

View license

Code of conduct