diff options
author | Pierre Schmitz <pierre@archlinux.de> | 2008-10-02 23:23:21 +0200 |
---|---|---|
committer | Pierre Schmitz <pierre@archlinux.de> | 2008-10-02 23:23:21 +0200 |
commit | e90580ee6f97e4be0141679447b0aaec3a0081ea (patch) | |
tree | b29cf8944285f752a576b392502fb850345a13bb /includes/User.php | |
parent | 24c464c9ee15b0d204c41fcd212975ebc7864904 (diff) |
Update auf 1.13.2
Diffstat (limited to 'includes/User.php')
-rw-r--r-- | includes/User.php | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/includes/User.php b/includes/User.php index 5c129819..4e39d678 100644 --- a/includes/User.php +++ b/includes/User.php @@ -1859,7 +1859,9 @@ class User { // In the spirit of DWIM return true; - return in_array( $action, $this->getRights() ); + # Use strict parameter to avoid matching numeric 0 accidentally inserted + # by misconfiguration: 0 == 'foo' + return in_array( $action, $this->getRights(), true ); } /** |