jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/362258 )
Change subject: Drop lints w/o dsr info
......................................................................
Drop lints w/o dsr info
Bug: T168900
Change-Id: Ia29629b4ad790f53cb99c6a6d3b20e20b7e35e54
---
M includes/ApiRecordLint.php
1 file changed, 1 insertion(+), 0 deletions(-)
Approvals:
Legoktm: Looks good to me, approved
jenkins-bot: Verified
diff --git a/includes/ApiRecordLint.php b/includes/ApiRecordLint.php
index 0b4409d..c009f4f 100644
--- a/includes/ApiRecordLint.php
+++ b/includes/ApiRecordLint.php
@@ -72,6 +72,7 @@
'lint' => $info['type'],
]
);
+ continue;
}
$info['location'] = array_slice( $info['dsr'], 0, 2 );
if ( isset( $info['templateInfo'] ) &&
$info['templateInfo'] ) {
--
To view, visit https://gerrit.wikimedia.org/r/362258
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ia29629b4ad790f53cb99c6a6d3b20e20b7e35e54
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/extensions/Linter
Gerrit-Branch: master
Gerrit-Owner: Arlolra <[email protected]>
Gerrit-Reviewer: Chad <[email protected]>
Gerrit-Reviewer: Legoktm <[email protected]>
Gerrit-Reviewer: Subramanya Sastry <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
