| Index: branches/RL2/extensions/Gadgets/Gadgets.php |
| — | — | @@ -80,6 +80,11 @@ |
| 81 | 81 | |
| 82 | 82 | $wgNamespaceProtection[NS_GADGET][] = 'gadgets-edit'; |
| 83 | 83 | $wgNamespaceProtection[NS_GADGET_DEFINITION][] = 'gadgets-definition-edit'; |
| | 84 | + |
| | 85 | +// Page titles in this namespace should match gadget names, |
| | 86 | +// which historically may start both lowercase or uppercase. |
| | 87 | +$wgCapitalLinkOverrides[NS_GADGET_DEFINITION] = false; |
| | 88 | + |
| 84 | 89 | $wgAvailableRights = array_merge( $wgAvailableRights, array( |
| 85 | 90 | 'gadgets-edit', |
| 86 | 91 | 'gadgets-definition-create', |