diff options
author | Thomas Steur <tsteur@users.noreply.github.com> | 2016-10-04 22:08:39 +0300 |
---|---|---|
committer | Matthieu Aubry <mattab@users.noreply.github.com> | 2016-10-04 22:08:39 +0300 |
commit | d3c5f504e2f51e652d27215ce74c1b92e71c903b (patch) | |
tree | 4c13028fda47fdee36d4372a74872e9387a44973 | |
parent | 688a1d33ccc042e0e6fecd528c992bbdb748864c (diff) |
Fix fatal error exception is already in use (#10675)
Cannot use Exception as Exception because the name is already in use in core/Exception/PluginDeactivatedException.php on line 10
-rw-r--r-- | core/Exception/PluginDeactivatedException.php | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/core/Exception/PluginDeactivatedException.php b/core/Exception/PluginDeactivatedException.php index 301ba0fac7..d0582840e5 100644 --- a/core/Exception/PluginDeactivatedException.php +++ b/core/Exception/PluginDeactivatedException.php @@ -7,7 +7,6 @@ */ namespace Piwik\Exception; -use Exception; /** * Exception thrown when the requested plugin is not activated in the config file |