diff options
| author | ahriman <ahriman@falte.red> | 2019-01-02 04:57:35 +0000 |
|---|---|---|
| committer | ahriman <ahriman@falte.red> | 2019-01-02 04:57:35 +0000 |
| commit | 2bd7f83a6495011ada78ca8a9f2af417caf01760 (patch) | |
| tree | f9acdb7f09e011c65330ab993d4db3620787dbfb /wiki/lib/plugins/cli.php | |
| parent | bcb215c3a7e914d05f166846a33860e48bba64fb (diff) | |
| download | site-2bd7f83a6495011ada78ca8a9f2af417caf01760.tar.gz | |
removed dokuwiki
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; - -} |