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

wikimedia / mediawiki-extensions-Linter Public

Notifications You must be signed in to change notification settings
Fork 4
Star 3

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

GPL-2.0 license

3 stars 4 forks Branches Tags Activity

Star

Notifications

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 1,359 Commits
.phan		.phan
i18n		i18n
includes		includes
maintenance		maintenance
modules		modules
sql		sql
tests/phpunit		tests/phpunit
.eslintrc.json		.eslintrc.json
.gitignore		.gitignore
.gitreview		.gitreview
.phpcs.xml		.phpcs.xml
.stylelintrc.json		.stylelintrc.json
CODE_OF_CONDUCT.md		CODE_OF_CONDUCT.md
COPYING		COPYING
Gruntfile.js		Gruntfile.js
Linter.alias.php		Linter.alias.php
README		README
composer.json		composer.json
extension.json		extension.json
package-lock.json		package-lock.json
package.json		package.json

Repository files navigation

Extension to help lint wiki pages. Currently designed to take advantage
of Parsoid's linter, could also be extended to linting JS or CSS in the
future.

About

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

Readme

GPL-2.0 license

Code of conduct

Activity

Custom properties

3 stars

17 watching

4 forks

Report repository