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/inc/Plugin.php | |
| parent | bcb215c3a7e914d05f166846a33860e48bba64fb (diff) | |
| download | site-2bd7f83a6495011ada78ca8a9f2af417caf01760.tar.gz | |
removed dokuwiki
Diffstat (limited to 'wiki/inc/Plugin.php')
| -rw-r--r-- | wiki/inc/Plugin.php | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/wiki/inc/Plugin.php b/wiki/inc/Plugin.php deleted file mode 100644 index 9cd0ae8..0000000 --- a/wiki/inc/Plugin.php +++ /dev/null @@ -1,11 +0,0 @@ -<?php - -/** - * DokuWiki Plugin - * - * Most of DokuWiki's plugin types simply inherit from this. All it does is - * add the DokuWiki_PluginTrait to the class. - */ -class DokuWiki_Plugin implements DokuWiki_PluginInterface { - use DokuWiki_PluginTrait; -} |