diff options
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; -} |