diff options
Diffstat (limited to 'wiki/lib/plugins/cli.php')
-rw-r--r-- | wiki/lib/plugins/cli.php | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/wiki/lib/plugins/cli.php b/wiki/lib/plugins/cli.php deleted file mode 100644 index 721f547..0000000 --- a/wiki/lib/plugins/cli.php +++ /dev/null @@ -1,11 +0,0 @@ -<?php - -/** - * Base class for CLI plugins - * - * Provides DokuWiki plugin functionality on top of phpcli - */ -abstract class DokuWiki_CLI_Plugin extends \splitbrain\phpcli\CLI implements DokuWiki_PluginInterface { - use DokuWiki_PluginTrait; - -} |