diff options
Diffstat (limited to 'etc/inc/priv.inc')
| -rw-r--r-- | etc/inc/priv.inc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/etc/inc/priv.inc b/etc/inc/priv.inc index 45dcc3b..7549844 100644 --- a/etc/inc/priv.inc +++ b/etc/inc/priv.inc @@ -133,7 +133,7 @@ function cmp_page_matches($page, & $matches, $fullwc = true) { } /* compare exact or wildcard match */ - $match = str_replace(array(".", "*", "?"), array("\.", ".*", "\?"), $match); + $match = str_replace(array(".", "*", "?"), array("\.", ".*", "\?"), $match); $result = preg_match("@^/{$match}$@", "/{$page}"); if ($result) { @@ -328,7 +328,7 @@ function sort_user_privs($privs) { $priority_privs = array("page-dashboard-all", "page-system-login/logout"); $fprivs = array_intersect($privs, $priority_privs); - $sprivs = array_diff($privs, $priority_privs); + $sprivs = array_diff($privs, $priority_privs); return array_merge($fprivs, $sprivs); } |
