| Index: trunk/extensions/Widgets/Widgets.php |
| — | — | @@ -42,6 +42,7 @@ |
| 43 | 43 | |
| 44 | 44 | // Define new right |
| 45 | 45 | $wgAvailableRights[] = 'editwidgets'; |
| | 46 | +$wgGroupPermissions['sysop']['editwidgets'] = true; |
| 46 | 47 | |
| 47 | 48 | // Set this to true to use FlaggedRevs extension's stable version for widget security |
| 48 | 49 | $wgWidgetsUseFlaggedRevs = false; |
| — | — | @@ -93,8 +94,7 @@ |
| 94 | 95 | function widgetNamespacesInit() { |
| 95 | 96 | global $wgGroupPermissions, $wgNamespaceProtection, $wgWidgetsUseFlaggedRevs; |
| 96 | 97 | |
| 97 | | - if (!$wgWidgetsUseFlaggedRevs) |
| 98 | | - { |
| | 98 | + if ( !$wgWidgetsUseFlaggedRevs ) { |
| 99 | 99 | // Assign editing to widgeteditor group only (widgets can be dangerous so we do it here, not in LocalSettings) |
| 100 | 100 | $wgGroupPermissions['*']['editwidgets'] = false; |
| 101 | 101 | $wgGroupPermissions['widgeteditor']['editwidgets'] = true; |