src/Config/Configuration.php 1 location
|
@@ 133-140 (lines=8) @@
|
| 130 |
|
} |
| 131 |
|
} |
| 132 |
|
|
| 133 |
|
public function getExtension($name) |
| 134 |
|
{ |
| 135 |
|
if (array_key_exists($name, $this->extensions)) { |
| 136 |
|
return $this->extensions[$name]; |
| 137 |
|
} else { |
| 138 |
|
throw new \RuntimeException('The extension ("' . $name . '") you are trying to access does not exist. Registered extensions are: ' . implode(' ,', array_keys($this->extensions)) . '.'); |
| 139 |
|
} |
| 140 |
|
} |
| 141 |
|
|
| 142 |
|
public function addExtension($name, $extension) |
| 143 |
|
{ |
src/Extensions/SmokeStop/StopExtension.php 1 location
|
@@ 42-49 (lines=8) @@
|
| 39 |
|
return false; |
| 40 |
|
} |
| 41 |
|
|
| 42 |
|
public function getStrategy($name) |
| 43 |
|
{ |
| 44 |
|
if (array_key_exists($name, $this->stopStrategies)) { |
| 45 |
|
return $this->stopStrategies[$name]; |
| 46 |
|
} else { |
| 47 |
|
throw new \RuntimeException("Strategy ('" . $name . "') not found. Available strategies are " . implode(', ', array_keys($this->stopStrategies))); |
| 48 |
|
} |
| 49 |
|
} |
| 50 |
|
} |
| 51 |
|
|