wikimedia/mediawiki-extensions-Linter
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Linter synced 2024-11-27 17:20:12 +00:00
Code Issues Packages Projects Releases Wiki Activity
Mirror of https://gerrit.wikimedia.org/g/mediawiki/extensions/Linter
560 commits 11 branches 11 tags 18 MiB
PHP 99%
JavaScript 1%
Go to file
Bartosz Dziewoński d18262cfa1 Scroll the textbox to selection (error location) on page load 
Only doing 'setSelection' doesn't guarantee that the textbox will be
scrolled (it works on Firefox and Edge, but not on Chrome and IE).

Bug: T152760
Change-Id: I3fab6363cd432d137430884eaca3555a7bf5aafa
2019-06-09 19:37:15 +00:00
.phan Add phan 2019-03-08 22:11:29 +01:00
i18n Localisation updates from https://translatewiki.net. 2019-06-02 22:30:03 +02:00
includes Remove Column 'Nested wikilinks in external links that need to be fixed' 2019-03-27 08:46:33 -07:00
modules Scroll the textbox to selection (error location) on page load 2019-06-09 19:37:15 +00:00
sql Move sql file into own folder 2019-03-08 21:41:35 +01:00
tests/phpunit Mark RecordLintJobTest as Broken 2019-06-07 12:27:38 -04:00
.eslintrc.json build: Update eslint-config-wikimedia to 0.10.1 2019-02-10 16:06:13 +00:00
.gitignore build: Upgrade eslint-config-wikimedia from 0.10.1 to 0.11.0 2019-04-03 16:06:08 -07:00
.gitreview Whoops, track not trace 2016-10-24 17:02:51 -07:00
.phpcs.xml build: Updating mediawiki/mediawiki-codesniffer to 17.0.0 2018-03-28 18:27:27 +00:00
CODE_OF_CONDUCT.md build: Updating mediawiki/phan-taint-check-plugin to 1.3.0 2018-08-17 07:39:01 +00:00
composer.json build: Updating mediawiki/mediawiki-codesniffer to 26.0.0 2019-06-07 12:28:00 -04:00
COPYING Initial commit 2016-10-17 16:02:53 -07:00
extension.json Add new Linter category wikilink-in-extlink 2019-02-19 10:53:43 -08:00
Gruntfile.js build: Upgrade eslint-config-wikimedia from 0.10.1 to 0.11.0 2019-04-03 16:06:08 -07:00
Linter.alias.php Translate special page to Czech 2019-04-05 07:44:28 +00:00
package-lock.json build: Updating npm dependencies for security issues 2019-06-07 17:52:45 +00:00
package.json build: Updating npm dependencies for security issues 2019-06-07 17:52:45 +00:00
README Initial commit 2016-10-17 16:02:53 -07:00

README 

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.