| Index: trunk/phase3/includes/Title.php |
| — | — | @@ -1494,8 +1494,14 @@ |
| 1495 | 1495 | # Not a public wiki, so no shortcut |
| 1496 | 1496 | $useShortcut = false; |
| 1497 | 1497 | } elseif( !empty( $wgRevokePermissions ) ) { |
| 1498 | | - foreach( array_keys( $wgRevokePermissions ) as $group ) { |
| 1499 | | - if( !empty( $wgRevokePermissions[$group]['read'] ) ) { |
| | 1498 | + /* |
| | 1499 | + * Iterate through each group with permissions being revoked (key not included since we don't care |
| | 1500 | + * what the group name is), then check if the read permission is being revoked. If it is, then |
| | 1501 | + * we don't use the shortcut below since the user might not be able to read, even though anon |
| | 1502 | + * reading is allowed. |
| | 1503 | + */ |
| | 1504 | + foreach( $wgRevokePermissions as $perms ) { |
| | 1505 | + if( !empty( $perms['read'] ) ) { |
| 1500 | 1506 | # We might be removing the read right from the user, so no shortcut |
| 1501 | 1507 | $useShortcut = false; |
| 1502 | 1508 | break; |