1
0
Fork 0

Use elseif instead of else { if {

pull/2734/head
Nils Adermann 2014-02-21 14:59:41 +01:00
parent 0daaa1a902
commit 83159dc153
1 changed files with 2 additions and 4 deletions

View File

@ -274,10 +274,8 @@ class Pool
if (isset($this->packageByExactName[$name])) { if (isset($this->packageByExactName[$name])) {
$candidates = array_merge($candidates, $this->packageByExactName[$name]); $candidates = array_merge($candidates, $this->packageByExactName[$name]);
} }
} else { } elseif (isset($this->packageByName[$name])) {
if (isset($this->packageByName[$name])) { $candidates = array_merge($candidates, $this->packageByName[$name]);
$candidates = array_merge($candidates, $this->packageByName[$name]);
}
} }
$matches = $provideMatches = array(); $matches = $provideMatches = array();