GitHub - wikimedia/mediawiki-extensions-Push: Github mirror of MediaWiki extension Push - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Developer

wikimedia / mediawiki-extensions-Push Public

Notifications You must be signed in to change notification settings
Fork 5
Star 0

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

View license

0 stars 5 forks Branches Tags Activity

Star

Notifications

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 673 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
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

Activity

Custom properties

0 stars

3 watching

5 forks

Report repository