Legoktm has uploaded a new change for review.
https://gerrit.wikimedia.org/r/324934
Change subject: Remove unused LintError::equals()
......................................................................
Remove unused LintError::equals()
Change-Id: I0d0d743119fee8a95627c365e1b2f45b8fcf67e7
---
M includes/LintError.php
1 file changed, 0 insertions(+), 10 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/Linter
refs/changes/34/324934/1
diff --git a/includes/LintError.php b/includes/LintError.php
index 0c5ea7d..86ad11d 100644
--- a/includes/LintError.php
+++ b/includes/LintError.php
@@ -71,16 +71,6 @@
}
/**
- * @param LintError $other
- * @return bool
- */
- public function equals( LintError $other ) {
- return $this->category === $other->category
- && $this->params === $other->params
- && $this->location === $other->location;
- }
-
- /**
* Unique id to identify this error, for internal
* purposes
*
--
To view, visit https://gerrit.wikimedia.org/r/324934
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I0d0d743119fee8a95627c365e1b2f45b8fcf67e7
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Linter
Gerrit-Branch: master
Gerrit-Owner: Legoktm <lego...@member.fsf.org>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
