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/playvideos/playvideos.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/playvideos/playvideos.php')
| -rw-r--r-- | plugins/playvideos/playvideos.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/plugins/playvideos/playvideos.php b/plugins/playvideos/playvideos.php index bb5b9e98..0341ed59 100644 --- a/plugins/playvideos/playvideos.php +++ b/plugins/playvideos/playvideos.php | |||
| @@ -6,6 +6,7 @@ | |||
| 6 | * Note: this plugin adds jQuery. | 6 | * Note: this plugin adds jQuery. |
| 7 | */ | 7 | */ |
| 8 | 8 | ||
| 9 | use Shaarli\Plugin\PluginManager; | ||
| 9 | use Shaarli\Router; | 10 | use Shaarli\Router; |
| 10 | 11 | ||
| 11 | /** | 12 | /** |