wikimedia/mediawiki-extensions-Linter
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Linter synced 2024-11-27 17:20:12 +00:00
Code Issues Packages Projects Releases Wiki Activity

Remove unused LintError::equals()

Browse source 
Change-Id: I0d0d743119fee8a95627c365e1b2f45b8fcf67e7
This commit is contained in:
Kunal Mehta 2016-12-02 07:56:19 -08:00
parent 3a03781a70
commit a50398d4ce
1 changed files with 0 additions and 10 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
includes/LintError.php
View file

@ -70,16 +70,6 @@ class LintError {
? $params['templateInfo'] : null;
}
/**
* @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