diff options
author | VirtualTam <virtualtam@flibidi.net> | 2018-12-04 00:26:50 +0100 |
---|---|---|
committer | VirtualTam <virtualtam@flibidi.net> | 2019-01-12 23:11:19 +0100 |
commit | e1850388348d4bfdf463a5aa341bc470da79cf32 (patch) | |
tree | a97cfd137b545e7b3ada43c4b5bfe143bd494948 /plugins/archiveorg/archiveorg.php | |
parent | 349b0144011e25f2b1a727b1d28d49d55b3b2ebb (diff) | |
download | Shaarli-e1850388348d4bfdf463a5aa341bc470da79cf32.tar.gz Shaarli-e1850388348d4bfdf463a5aa341bc470da79cf32.tar.zst Shaarli-e1850388348d4bfdf463a5aa341bc470da79cf32.zip |
namespacing: \Shaarli\Plugin\PluginManager
Signed-off-by: VirtualTam <virtualtam@flibidi.net>
Diffstat (limited to 'plugins/archiveorg/archiveorg.php')
-rw-r--r-- | plugins/archiveorg/archiveorg.php | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/plugins/archiveorg/archiveorg.php b/plugins/archiveorg/archiveorg.php index 5dcea5a6..0ee1c73c 100644 --- a/plugins/archiveorg/archiveorg.php +++ b/plugins/archiveorg/archiveorg.php | |||
@@ -5,6 +5,8 @@ | |||
5 | * Add an icon in the link list for archive.org. | 5 | * Add an icon in the link list for archive.org. |
6 | */ | 6 | */ |
7 | 7 | ||
8 | use Shaarli\Plugin\PluginManager; | ||
9 | |||
8 | /** | 10 | /** |
9 | * Add archive.org icon to link_plugin when rendering linklist. | 11 | * Add archive.org icon to link_plugin when rendering linklist. |
10 | * | 12 | * |