diff options
| author | sgiehl <stefan@piwik.org> | 2016-11-01 00:48:47 +0300 |
|---|---|---|
| committer | sgiehl <stefan@piwik.org> | 2016-11-01 00:48:47 +0300 |
| commit | f12aed7a025921adcc4d5a7da593ba012c2cdc72 (patch) | |
| tree | e1a500a217294b7d8cf09f56a2b7a7052b365cb8 /core/Plugin/Manager.php | |
| parent | 6fbb7880311a3d411bc00a6251db8d1fd0dccae4 (diff) | |
adds missing use statement
Diffstat (limited to 'core/Plugin/Manager.php')
| -rw-r--r-- | core/Plugin/Manager.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/core/Plugin/Manager.php b/core/Plugin/Manager.php index 9bd2231df8..9273ea1019 100644 --- a/core/Plugin/Manager.php +++ b/core/Plugin/Manager.php @@ -17,6 +17,7 @@ use Piwik\Config as PiwikConfig; use Piwik\Container\StaticContainer; use Piwik\Db; use Piwik\EventDispatcher; +use Piwik\Exception\PluginDeactivatedException; use Piwik\Filesystem; use Piwik\Log; use Piwik\Notification; |