From 2bd7f83a6495011ada78ca8a9f2af417caf01760 Mon Sep 17 00:00:00 2001
From: ahriman <ahriman@falte.red>
Date: Wed, 2 Jan 2019 04:57:35 +0000
Subject: removed dokuwiki

---
 wiki/inc/Menu/PageMenu.php | 23 -----------------------
 1 file changed, 23 deletions(-)
 delete mode 100644 wiki/inc/Menu/PageMenu.php

(limited to 'wiki/inc/Menu/PageMenu.php')

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',
-    );
-
-}
-- 
cgit 1.4.1-2-gfad0