about summary refs log tree commit diff stats
path: root/wiki/inc/Plugin.php
diff options
context:
space:
mode:
authorahriman <ahriman@falte.red>2018-12-03 19:22:25 -0500
committerahriman <ahriman@falte.red>2018-12-03 19:22:25 -0500
commit0ae8cbf5c0b1a198b963490985b7738392ebcb97 (patch)
treeb2c77ae72c6b717e2b97492065196ac5ffb2d9e2 /wiki/inc/Plugin.php
parentf57f6cc5a2d159f90168d292437dc4bd8cd7f934 (diff)
downloadsite-0ae8cbf5c0b1a198b963490985b7738392ebcb97.tar.gz
installed dokuwiki, added to navbar, updated news
Diffstat (limited to 'wiki/inc/Plugin.php')
-rw-r--r--wiki/inc/Plugin.php11
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;
+}