| Index: trunk/extensions/GroupPermissionsManager/plugins/ExtendedPermissions.php |
| — | — | @@ -171,7 +171,7 @@ |
| 172 | 172 | } |
| 173 | 173 | |
| 174 | 174 | //replace right-edit messages with right-edit-new wherever applicable |
| 175 | | -function efGPManagerReplaceEditMessage(&$key, &$useDB, &$langCode, &$transform) { |
| | 175 | +function efGPManagerReplaceEditMessage(&$key, &$useDB, &$langCode, $transform) { |
| 176 | 176 | if($key == 'right-edit') { |
| 177 | 177 | $key = 'right-edit-new'; |
| 178 | 178 | return false; //so it doesn't change load times TOO much |