diff options
| author | Andreas Gohr <andi@splitbrain.org> | 2023-09-02 14:42:51 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-09-02 14:42:51 +0200 |
| commit | 5ff5424d8c81c7123d8656a787af2ff85b3dec21 (patch) | |
| tree | 322929ee01d892bb3c927e7fe1238369c647f820 /inc/Menu/PageMenu.php | |
| parent | 0613df3287b82a98b1e97cf86ed9d4c8fbd16f1c (diff) | |
| parent | 91560755291852b8302767d454183a7662666f7e (diff) | |
| download | dokuwiki-5ff5424d8c81c7123d8656a787af2ff85b3dec21.tar.gz dokuwiki-5ff5424d8c81c7123d8656a787af2ff85b3dec21.zip | |
Merge pull request #4045 from dokuwiki/autofix
Use Rector to autofix code smell
Diffstat (limited to 'inc/Menu/PageMenu.php')
| -rw-r--r-- | inc/Menu/PageMenu.php | 14 |
1 files changed, 3 insertions, 11 deletions
diff --git a/inc/Menu/PageMenu.php b/inc/Menu/PageMenu.php index 9c0a55e2d..2ad219614 100644 --- a/inc/Menu/PageMenu.php +++ b/inc/Menu/PageMenu.php @@ -7,17 +7,9 @@ namespace dokuwiki\Menu; * * Actions manipulating the current page. Shown as a floating menu in the dokuwiki template */ -class PageMenu extends AbstractMenu { - +class PageMenu extends AbstractMenu +{ protected $view = 'page'; - protected $types = array( - 'Edit', - 'Revert', - 'Revisions', - 'Backlink', - 'Subscribe', - 'Top', - ); - + protected $types = ['Edit', 'Revert', 'Revisions', 'Backlink', 'Subscribe', 'Top']; } |