镜像自地址
https://github.com/wikimedia/mediawiki-extensions-Linter
已同步 2024-05-06 14:28:33 +08:00
bce5b31616
This configures a MediaWiki extension to recieve Parsoid's lint errors and expose them to users. Change-Id: Ie0776aecf145eb1c87c2a539ddf3ea8d35a899f5
4 行
152 B
Plaintext
4 行
152 B
Plaintext
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.
|