diff options
author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2022-01-18 09:28:13 +0000 |
---|---|---|
committer | Gerrit Code Review <gerrit@wikimedia.org> | 2022-01-18 09:28:13 +0000 |
commit | 6d423da0f9b0a72c9c9f328ac2eeac9277cbd7f6 (patch) | |
tree | 6019f841e6c6d1774d1c6c4badc7e3baee5d4d18 | |
parent | fa25d184e9baccfd7b5c0475c770c0cafd61f103 (diff) |
Update git submodules
* Update extensions/Linter from branch 'wmf/1.38.0-wmf.17'
to cc32271e7152bf76df1efce43206cd87904daf43
- Merge "Disable "inline-media-caption" category" into wmf/1.38.0-wmf.17
- Disable "inline-media-caption" category
Note that this only removes the category from the special page and the
lints will still show up by page. Those need purging separately or more
code to filter out disabled categories from the results.
Bug: T297443
Change-Id: Idfcf5ee5d69f5dc65100229aacb22137be475866
(cherry picked from commit 6898415d8dd79d93753ec3385213d24ee05e3495)
m--------- | extensions/Linter | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/extensions/Linter b/extensions/Linter -Subproject 9b5dfb907ad0e934d7401a6a2123c77375a51b9 +Subproject cc32271e7152bf76df1efce43206cd87904daf4 |