From b52d6d881a9128967990363c5bb2039dbb613b5c Mon Sep 17 00:00:00 2001
From: Nils Adermann <naderman@naderman.de>
Date: Sat, 22 Oct 2011 16:39:49 +0200
Subject: [PATCH] Pool repository index represents priority, highest index =
 highest priority

---
 src/Composer/DependencyResolver/Pool.php | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/Composer/DependencyResolver/Pool.php b/src/Composer/DependencyResolver/Pool.php
index 864bb38dd..7d95f4d15 100644
--- a/src/Composer/DependencyResolver/Pool.php
+++ b/src/Composer/DependencyResolver/Pool.php
@@ -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.
     *