Skip to content

gerrit-406411-5#2147

Open
magul wants to merge 1 commit intomasterfrom
gerrit-406411-5
Open

gerrit-406411-5#2147
magul wants to merge 1 commit intomasterfrom
gerrit-406411-5

Conversation

@magul
Copy link
Owner

@magul magul commented Jan 29, 2018

No description provided.

Add:
- site.linter_pages in site.py to generate pages with linter errors
- add linter info to Page properties in api.py
- add linter info to cached properties of Page in page.py
- '-linter' options and similaar in pagegenerators.py

See https://www.mediawiki.org/wiki/Extension:Linter#API

Bug: T185519
Change-Id: Ic99f52ceb8b85186cbdc2e5e7b3c3bf657bfb173
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant