phpspec/phpspec — pull request #499 by shanethehat (2014-09-01 18:00:25+00:00)
Title: Add interface for ResourceManager

Adding an interface for the resource manager makes things a little nicer for extensions that want to override/replace the resource location process.