BugTrack/2476 menu plugin: Check page readable on SubMenu

diff --git a/plugin/menu.inc.php b/plugin/menu.inc.php
index d7b0e98..66d1d6d 100644 (file)
--- a/plugin/menu.inc.php
+++ b/plugin/menu.inc.php
@@ -1,7 +1,7 @@
 <?php
 // PukiWiki - Yet another WikiWikiWeb clone.
 // menu.inc.php
-// Copyright 2003-2017 PukiWiki Development Team
+// Copyright 2003-2018 PukiWiki Development Team
 // License: GPL v2 or (at your option) any later version
 //
 // Menu plugin
@@ -50,6 +50,8 @@ function plugin_menu_convert()
                        return '';
                } else if ($vars['page'] === $page) {
                        return '<!-- #menu(): You already view ' . htmlsc($page) . ' -->';
+               } else if (!is_page_readable($page)) {
+                       return '#menu(): ' . htmlsc($page) . ' is not readable';
                } else {
                        // Cut fixed anchors
                        $menutext = preg_replace('/^(\*{1,3}.*)\[#[A-Za-z][\w-]+\](.*)$/m', '$1$2', get_source($page));