diff options
Diffstat (limited to 'plugins')
-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 9f0342a3..1872af8a 100644 --- a/plugins/pubsubhubbub/pubsubhubbub.php +++ b/plugins/pubsubhubbub/pubsubhubbub.php | |||
@@ -11,6 +11,7 @@ | |||
11 | 11 | ||
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 | 15 | ||
15 | /** | 16 | /** |
16 | * Plugin init function - set the hub to the default appspot one. | 17 | * Plugin init function - set the hub to the default appspot one. |