diff options
Diffstat (limited to 'platform/www/inc/Extension/CLIPlugin.php')
-rw-r--r-- | platform/www/inc/Extension/CLIPlugin.php | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/platform/www/inc/Extension/CLIPlugin.php b/platform/www/inc/Extension/CLIPlugin.php new file mode 100644 index 0000000..8637ccf --- /dev/null +++ b/platform/www/inc/Extension/CLIPlugin.php @@ -0,0 +1,13 @@ +<?php + +namespace dokuwiki\Extension; + +/** + * CLI plugin prototype + * + * Provides DokuWiki plugin functionality on top of php-cli + */ +abstract class CLIPlugin extends \splitbrain\phpcli\CLI implements PluginInterface +{ + use PluginTrait; +} |