Merge "Add tidy-whitespace-bug linter high-priority category"

Authored by jenkins-bot <jenkins-bot@gerrit.wikimedia.org> on Aug 12 2017, 3:40 PM.

Description

Merge "Add tidy-whitespace-bug linter high-priority category"

Details

Committed
Gerrit Code Review <gerrit@wikimedia.org>Aug 12 2017, 3:40 PM
Parents
rELINT3615fb52756d: build: Updating mediawiki/mediawiki-codesniffer to 0.11.0
rELINTce8b7c873c5b: Add tidy-whitespace-bug linter high-priority category
Branches
Unknown
Tags
Unknown
ChangeId
None
Gerrit Code Review <gerrit@wikimedia.org> committed rELINT9de962f507fe: Merge "Add tidy-whitespace-bug linter high-priority category" (authored by jenkins-bot <jenkins-bot@gerrit.wikimedia.org>).Aug 12 2017, 3:40 PM

Merged Changes

CommitAuthorDetailsCommitted
ce8b7c873c5bssastry
Add tidy-whitespace-bug linter high-priority category 
Aug 10