[DI] Deduplicate resource while adding them

nicolas-grekas · nicolas-grekas · commit dd01ab4a0c2b · 2017-02-01T14:00:02.000+01:00
diff --git a/ContainerBuilder.php b/ContainerBuilder.php
@@ -202,7 +202,7 @@ public function hasExtension($name)
      */
     public function getResources()
     {
-        return array_unique($this->resources);
+        return array_values($this->resources);
     }
 
     /**
@@ -218,7 +218,7 @@ public function addResource(ResourceInterface $resource)
             return $this;
         }
 
-        $this->resources[] = $resource;
+        $this->resources[(string) $resource] = $resource;
 
         return $this;
     }

Original file line number	Diff line number	Diff line change
`@@ -202,7 +202,7 @@ public function hasExtension($name)`
`202`	`202`	`*/`
`203`	`203`	`public function getResources()`
`204`	`204`	`{`
`205`		`- return array_unique($this->resources);`
	`205`	`+ return array_values($this->resources);`
`206`	`206`	`}`
`207`	`207`
`208`	`208`	`/**`
`@@ -218,7 +218,7 @@ public function addResource(ResourceInterface $resource)`
`218`	`218`	`return $this;`
`219`	`219`	`}`
`220`	`220`
`221`		`- $this->resources[] = $resource;`
	`221`	`+ $this->resources[(string) $resource] = $resource;`
`222`	`222`
`223`	`223`	`return $this;`
`224`	`224`	`}`