jenkins-bot has submitted this change and it was merged.

Change subject: Remove dead parameter
......................................................................


Remove dead parameter

Change-Id: I9f3d749d6c92bdcc2b4047223fdfe5e100b4b9ca
---
M specials/SpecialConstraintReport.php
1 file changed, 1 insertion(+), 1 deletion(-)

Approvals:
  Addshore: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/specials/SpecialConstraintReport.php 
b/specials/SpecialConstraintReport.php
index d333dab..f0936ca 100644
--- a/specials/SpecialConstraintReport.php
+++ b/specials/SpecialConstraintReport.php
@@ -703,7 +703,7 @@
                }
 
                $valueFormatter = function ( $value ) {
-                       return $this->formatValue( $value, false );
+                       return $this->formatValue( $value );
                };
 
                $formattedParameters = array ();

-- 
To view, visit https://gerrit.wikimedia.org/r/229646
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I9f3d749d6c92bdcc2b4047223fdfe5e100b4b9ca
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/WikibaseQualityConstraints
Gerrit-Branch: master
Gerrit-Owner: Jeroen De Dauw <[email protected]>
Gerrit-Reviewer: Addshore <[email protected]>
Gerrit-Reviewer: jenkins-bot <>

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to