Merge branch 'v0.11' into stable

[github/shaarli/Shaarli.git] / plugins / playvideos / playvideos.php

diff --git a/plugins/playvideos/playvideos.php b/plugins/playvideos/playvideos.php
index c6d6b0cc6815e4f5c2547efdc395a67ccde08e3d..0341ed593abd19cb0afb5db4a092e4bb34944dd6 100644 (file)
--- a/plugins/playvideos/playvideos.php
+++ b/plugins/playvideos/playvideos.php
@@ -6,6 +6,9 @@
  * Note: this plugin adds jQuery.
  */
 
+use Shaarli\Plugin\PluginManager;
+use Shaarli\Router;
+
 /**
  * When linklist is displayed, add play videos to header's toolbar.
  *