diff options
Diffstat (limited to 'inc/Extension/CLIPlugin.php')
| -rw-r--r-- | inc/Extension/CLIPlugin.php | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/inc/Extension/CLIPlugin.php b/inc/Extension/CLIPlugin.php index 8637ccf8c..e06e87d2c 100644 --- a/inc/Extension/CLIPlugin.php +++ b/inc/Extension/CLIPlugin.php @@ -2,12 +2,14 @@ namespace dokuwiki\Extension; +use splitbrain\phpcli\CLI; + /** * CLI plugin prototype * * Provides DokuWiki plugin functionality on top of php-cli */ -abstract class CLIPlugin extends \splitbrain\phpcli\CLI implements PluginInterface +abstract class CLIPlugin extends CLI implements PluginInterface { use PluginTrait; } |