jenkins-bot has submitted this change and it was merged.
Change subject: Hygiene: Mark intentional missing break statements for static
analysis
......................................................................
Hygiene: Mark intentional missing break statements for static analysis
Change-Id: Ie7ea82f1f4b46090488b70c3f56adda62518f505
---
M includes/Formatter/RevisionFormatter.php
1 file changed, 2 insertions(+), 0 deletions(-)
Approvals:
Matthias Mullie: Looks good to me, approved
jenkins-bot: Verified
diff --git a/includes/Formatter/RevisionFormatter.php
b/includes/Formatter/RevisionFormatter.php
index b8e7c6e..19962ce 100644
--- a/includes/Formatter/RevisionFormatter.php
+++ b/includes/Formatter/RevisionFormatter.php
@@ -658,9 +658,11 @@
$links['board-history'] =
$this->urlGenerator->boardHistoryLink( $title );
break;
+ /** @noinspection PhpMissingBreakStatementInspection */
case 'diff-header':
$diffCallback = isset( $diffCallback ) ?
$diffCallback : array( $this->urlGenerator, 'diffHeaderLink' );
// don't break, diff links are rendered below
+ /** @noinspection PhpMissingBreakStatementInspection */
case 'diff-post':
$diffCallback = isset( $diffCallback ) ?
$diffCallback : array( $this->urlGenerator, 'diffPostLink' );
// don't break, diff links are rendered below
--
To view, visit https://gerrit.wikimedia.org/r/165877
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ie7ea82f1f4b46090488b70c3f56adda62518f505
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/extensions/Flow
Gerrit-Branch: master
Gerrit-Owner: EBernhardson <[email protected]>
Gerrit-Reviewer: Matthias Mullie <[email protected]>
Gerrit-Reviewer: SG <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
