diff options
author | ahriman <ahriman@falte.red> | 2018-12-03 19:22:25 -0500 |
---|---|---|
committer | ahriman <ahriman@falte.red> | 2018-12-03 19:22:25 -0500 |
commit | 0ae8cbf5c0b1a198b963490985b7738392ebcb97 (patch) | |
tree | b2c77ae72c6b717e2b97492065196ac5ffb2d9e2 /wiki/inc/Plugin.php | |
parent | f57f6cc5a2d159f90168d292437dc4bd8cd7f934 (diff) | |
download | site-0ae8cbf5c0b1a198b963490985b7738392ebcb97.tar.gz |
installed dokuwiki, added to navbar, updated news
Diffstat (limited to 'wiki/inc/Plugin.php')
-rw-r--r-- | wiki/inc/Plugin.php | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/wiki/inc/Plugin.php b/wiki/inc/Plugin.php new file mode 100644 index 0000000..9cd0ae8 --- /dev/null +++ b/wiki/inc/Plugin.php @@ -0,0 +1,11 @@ +<?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; +} |