| Index: branches/wmf/1.17wmf1/extensions/PrefSwitch/PrefSwitch.php |
| — | — | @@ -14,6 +14,7 @@ |
| 15 | 15 | /* Configuration */ |
| 16 | 16 | |
| 17 | 17 | $wgPrefSwitchStyleVersion = 1; |
| | 18 | +$wgPrefSwitchShowLinks = true; |
| 18 | 19 | |
| 19 | 20 | // Preferences to set when users switch prefs |
| 20 | 21 | $wgPrefSwitchPrefs = array( |
| Index: branches/wmf/1.17wmf1/extensions/PrefSwitch/PrefSwitch.hooks.php |
| — | — | @@ -36,8 +36,11 @@ |
| 37 | 37 | * PersonalUrls hook |
| 38 | 38 | */ |
| 39 | 39 | public static function personalUrls( &$personal_urls, &$title ) { |
| 40 | | - global $wgUser, $wgRequest; |
| | 40 | + global $wgUser, $wgRequest, $wgPrefSwitchShowLinks; |
| 41 | 41 | |
| | 42 | + if ( !$wgPrefSwitchShowLinks ) { |
| | 43 | + return true; |
| | 44 | + } |
| 42 | 45 | // Figure out the orgin to include in the link |
| 43 | 46 | $fromquery = array(); |
| 44 | 47 | if ( !( $wgRequest->wasPosted() ) ) { |