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/Menu/PageMenu.php | |
parent | bcb215c3a7e914d05f166846a33860e48bba64fb (diff) | |
download | site-2bd7f83a6495011ada78ca8a9f2af417caf01760.tar.gz |
removed dokuwiki
Diffstat (limited to 'wiki/inc/Menu/PageMenu.php')
-rw-r--r-- | wiki/inc/Menu/PageMenu.php | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/wiki/inc/Menu/PageMenu.php b/wiki/inc/Menu/PageMenu.php deleted file mode 100644 index 9c0a55e..0000000 --- a/wiki/inc/Menu/PageMenu.php +++ /dev/null @@ -1,23 +0,0 @@ -<?php - -namespace dokuwiki\Menu; - -/** - * Class PageMenu - * - * Actions manipulating the current page. Shown as a floating menu in the dokuwiki template - */ -class PageMenu extends AbstractMenu { - - protected $view = 'page'; - - protected $types = array( - 'Edit', - 'Revert', - 'Revisions', - 'Backlink', - 'Subscribe', - 'Top', - ); - -} |