diff options
Diffstat (limited to 'plugins/pubsubhubbub')
-rw-r--r-- | plugins/pubsubhubbub/pubsubhubbub.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/plugins/pubsubhubbub/pubsubhubbub.php b/plugins/pubsubhubbub/pubsubhubbub.php index a7bd34c1..2878c050 100644 --- a/plugins/pubsubhubbub/pubsubhubbub.php +++ b/plugins/pubsubhubbub/pubsubhubbub.php | |||
@@ -12,6 +12,7 @@ | |||
12 | use pubsubhubbub\publisher\Publisher; | 12 | use pubsubhubbub\publisher\Publisher; |
13 | use Shaarli\Config\ConfigManager; | 13 | use Shaarli\Config\ConfigManager; |
14 | use Shaarli\Feed\FeedBuilder; | 14 | use Shaarli\Feed\FeedBuilder; |
15 | use Shaarli\Plugin\PluginManager; | ||
15 | use Shaarli\Router; | 16 | use Shaarli\Router; |
16 | 17 | ||
17 | /** | 18 | /** |