1
0
Fork 0

Pool repository index represents priority, highest index = highest priority

pull/60/head
Nils Adermann 2011-10-22 16:39:49 +02:00
parent 7558731830
commit b52d6d881a
1 changed files with 5 additions and 0 deletions

View File

@ -45,6 +45,11 @@ class Pool
} }
} }
public function getPriority(RepositoryInterface $repo)
{
return array_search($repo, $this->repositories, true);
}
/** /**
* Retrieves the package object for a given package id. * Retrieves the package object for a given package id.
* *